The dog eats the mouse. The dog eats the squirrel. The lion is rough. The lion needs the mouse. The mouse eats the lion. The mouse is rough. The mouse likes the lion. The mouse likes the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is nice. The squirrel likes the mouse. The squirrel needs the dog. The squirrel needs the lion. The squirrel needs the mouse. If something eats the mouse and the mouse likes the squirrel then the squirrel likes the dog.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something eats the mouse and the mouse likes the squirrel then the squirrel likes the dog.
((("something" "eats" "mouse" "+") ("mouse" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
The squirrel is nice.
True
1
proof
[(triple11)]
("squirrel" "is" "nice" "+")
triple11
The dog does not eat the mouse.
False
1
inv-proof
[(triple1)]
("dog" "eats" "mouse" "-")
triple1
The squirrel likes the dog.
True
3
proof
[(((triple1 triple8) -> rule1) OR ((triple10 triple8) -> rule1))]
("squirrel" "likes" "dog" "+")
((triple1 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
((triple10 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel does not like the dog.
False
3
inv-proof
[(((triple1 triple8) -> rule1) OR ((triple10 triple8) -> rule1))]
("squirrel" "likes" "dog" "-")
((triple1 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
((triple10 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The lion does not need the squirrel.
Unknown
inv-random
[@0: The lion needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "squirrel" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not need the squirrel.
Unknown
inv-random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The lion is rough.[(triple3)] The lion needs the mouse.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the lion.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel likes the dog.[(((triple1 triple8) -> rule1) OR ((triple10 triple8) -> rule1))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple4
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple7
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple13
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple1 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
((triple10 triple8) -> (rule1 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1