The dog eats the mouse. The dog eats the squirrel. The dog is big. The dog is not kind. The dog is nice. The dog is young. The dog likes the mouse. The dog does not like the squirrel. The dog sees the mouse. The dog sees the squirrel. The mouse eats the dog. The squirrel does not eat the mouse. The squirrel is not nice. The squirrel likes the mouse. The squirrel sees the dog. The squirrel sees the mouse. If something eats the squirrel and it sees the dog then the dog eats the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If something eats the squirrel and it sees the dog then the dog eats the mouse.
((("something" "eats" "squirrel" "+") ("something" "sees" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
The dog likes the mouse.
True
1
proof
[(triple7)]
("dog" "likes" "mouse" "+")
triple7
The dog does not eat the mouse.
False
1
inv-proof
[(triple1)]
("dog" "eats" "mouse" "-")
triple1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The dog does not like the squirrel.[(triple8)] The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is nice.[(triple5)] The dog is not kind.[(triple4)] The dog is young.[(triple6)] The dog likes the mouse.[(triple7)] The dog sees the mouse.[(triple9)] The dog sees the squirrel.[(triple10)] The mouse eats the dog.[(triple11)] The squirrel does not eat the mouse.[(triple12)] The squirrel is not nice.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the mouse.[(triple16)]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple8
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is not kind.
("dog" "is" "kind" "-")
triple4
The dog is young.
("dog" "is" "young" "+")
triple6
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple9
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple10
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple11
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple12
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple13
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple14
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16