The dog is kind. The lion sees the dog. The squirrel is cold. If someone is rough then they do not eat the squirrel. If the squirrel does not eat the dog then the squirrel is cold. If the squirrel does not see the dog then the squirrel does not see the lion.
The dog is kind.
("dog" "is" "kind" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone is rough then they do not eat the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "squirrel" "-"))
If the squirrel does not eat the dog then the squirrel is cold.
((("squirrel" "eats" "dog" "~")) -> ("squirrel" "is" "cold" "+"))
If the squirrel does not see the dog then the squirrel does not see the lion.
((("squirrel" "sees" "dog" "~")) -> ("squirrel" "sees" "lion" "-"))
The squirrel is cold.
True
1
proof
[(triple3)]
("squirrel" "is" "cold" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "cold" "-")
triple3
The lion does not need the dog.
Unknown
inv-random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The dog is kind.[(triple1)] The lion sees the dog.[(triple2)] The squirrel is cold.[(triple3)]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The lion sees the dog.
("lion" "sees" "dog" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple3