# This is the solution file for test_cases/q1/findModelSentence1.test.
# The result of evaluating the test must equal the below when cast to a string.
result: "[(A, False), (B, True), (C, True)]"