Anne is furry. Erin is nice. Erin is red. Erin is smart. Erin is not white. Erin is young. Fiona is big. Fiona is nice. Fiona is red. Fiona is smart. If something is big and not young then it is not red.
Anne is furry.
("Anne" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not white.
("Erin" "is" "white" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is big and not young then it is not red.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "-"))
Fiona is red.
True
1
proof
[(triple9)]
("Fiona" "is" "red" "+")
triple9
Erin is not young.
False
1
inv-proof
[(triple6)]
("Erin" "is" "young" "-")
triple6
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Erin is not white.[(triple5)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not white.
("Erin" "is" "white" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10