The squirrel is cold. The squirrel is not kind. The squirrel is red. The squirrel is not rough. The squirrel is not round. If the squirrel is not cold and the squirrel is not round then the squirrel is kind. If something is round and not kind then it is not red. If something is rough and not cold then it is red.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is not round.
("squirrel" "is" "round" "-")
If the squirrel is not cold and the squirrel is not round then the squirrel is kind.
((("squirrel" "is" "cold" "~") ("squirrel" "is" "round" "~")) -> ("squirrel" "is" "kind" "+"))
If something is round and not kind then it is not red.
((("something" "is" "round" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "-"))
If something is rough and not cold then it is red.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "+"))
The squirrel is red.
True
1
proof
[(triple3)]
("squirrel" "is" "red" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] The squirrel is not kind.[(triple2)] The squirrel is not rough.[(triple4)] The squirrel is not round.[(triple5)] The squirrel is red.[(triple3)]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple2
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple4
The squirrel is not round.
("squirrel" "is" "round" "-")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple3