The bear is round. The bear likes the mouse. The bear visits the squirrel. The dog likes the squirrel. The dog visits the mouse. The mouse visits the dog. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel likes the bear. The squirrel likes the dog. The squirrel likes the mouse. The squirrel needs the bear. The squirrel needs the dog. The squirrel visits the dog. The squirrel visits the mouse. If someone likes the dog then the dog needs the mouse.
The bear is round.
("bear" "is" "round" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone likes the dog then the dog needs the mouse.
((("someone" "likes" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
The mouse visits the dog.
True
1
proof
[(triple6)]
("mouse" "visits" "dog" "+")
triple6
The squirrel does not like the dog.
False
1
inv-proof
[(triple11)]
("squirrel" "likes" "dog" "-")
triple11
The dog needs the mouse.
True
2
proof
[(((triple11) -> rule1))]
("dog" "needs" "mouse" "+")
((triple11) -> (rule1 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The dog does not need the mouse.
False
2
inv-proof
[(((triple11) -> rule1))]
("dog" "needs" "mouse" "-")
((triple11) -> (rule1 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The mouse does not visit the bear.
Unknown
inv-random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
@0: The bear is round.[(triple1)] The bear likes the mouse.[(triple2)] The bear visits the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The dog visits the mouse.[(triple5)] The mouse visits the dog.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is kind.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel likes the dog.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The dog needs the mouse.[(((triple11) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple5
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple16
The dog needs the mouse.
("dog" "needs" "mouse" "+")
((triple11) -> (rule1 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1