The cow chases the mouse. The cow eats the mouse. The cow eats the squirrel. The cow likes the mouse. The cow likes the squirrel. The dog eats the squirrel. The dog likes the cow. The dog likes the mouse. The dog likes the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The squirrel chases the dog. The squirrel eats the mouse. The squirrel is red. The squirrel is young. The squirrel likes the mouse. If someone is nice and they eat the mouse then the mouse likes the dog. If the squirrel chases the mouse then the mouse chases the dog. If someone eats the dog then the dog is nice. If someone likes the dog then they are nice. If someone likes the mouse and they eat the squirrel then the squirrel is round. If someone likes the cow then they are red. If someone likes the dog then the dog eats the mouse. If someone is nice and they chase the cow then they eat the dog.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If someone is nice and they eat the mouse then the mouse likes the dog.
((("someone" "is" "nice" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If the squirrel chases the mouse then the mouse chases the dog.
((("squirrel" "chases" "mouse" "+")) -> ("mouse" "chases" "dog" "+"))
If someone eats the dog then the dog is nice.
((("someone" "eats" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone likes the dog then they are nice.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the mouse and they eat the squirrel then the squirrel is round.
((("someone" "likes" "mouse" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone likes the cow then they are red.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "red" "+"))
If someone likes the dog then the dog eats the mouse.
((("someone" "likes" "dog" "+")) -> ("dog" "eats" "mouse" "+"))
If someone is nice and they chase the cow then they eat the dog.
((("someone" "is" "nice" "+") ("someone" "chases" "cow" "+")) -> ("someone" "eats" "dog" "+"))
The squirrel likes the mouse.
True
1
proof
[(triple16)]
("squirrel" "likes" "mouse" "+")
triple16
The cow does not like the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "likes" "squirrel" "-")
triple5
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "red" "-")
The cow chases the squirrel.
Unknown
random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow eats the squirrel.[(triple3)] The cow likes the mouse.[(triple4)] The cow likes the squirrel.[(triple5)] The dog eats the squirrel.[(triple6)] The dog likes the cow.[(triple7)] The dog likes the mouse.[(triple8)] The dog likes the squirrel.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse eats the squirrel.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is red.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The dog is red.[(((triple7) -> rule6))] The squirrel is round.[(((triple4 triple3) -> rule5) OR ((triple8 triple6) -> rule5))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple9
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple10
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple11
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple12
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple13
The squirrel is red.
("squirrel" "is" "red" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple16
The dog is red.
("dog" "is" "red" "+")
((triple7) -> (rule6 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple4 triple3) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple8 triple6) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1