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