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