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