Anne is not round. Charlie is cold. Erin is young. Furry, blue things are not young. Round, young things are not blue. If Anne is cold and Anne is not rough then Anne is not kind.
Anne is not round.
("Anne" "is" "round" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is young.
("Erin" "is" "young" "+")
Furry, blue things are not young.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
Round, young things are not blue.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "blue" "-"))
If Anne is cold and Anne is not rough then Anne is not kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "kind" "-"))
Anne is not round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "cold" "-")
triple2
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is not round.[(triple1)] Charlie is cold.[(triple2)] Erin is young.[(triple3)]
Anne is not round.
("Anne" "is" "round" "-")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3