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