Charlie is cold. Charlie is red. Charlie is young. Erin is cold. Erin is nice. Erin is red. Erin is young. If someone is smart and young then they are not big. If someone is nice and not round then they are not red. If Erin is round then Erin is red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is smart and young then they are not big.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "-"))
If someone is nice and not round then they are not red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "red" "-"))
If Erin is round then Erin is red.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "red" "+"))
Erin is red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "+")
triple6
Erin is not young.
False
1
inv-proof
[(triple7)]
("Erin" "is" "young" "-")
triple7
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is cold.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7