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