The cow chases the mouse. The cow chases the squirrel. The cow is big. The cow is round. The cow needs the squirrel. The cow visits the mouse. The mouse chases the squirrel. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The squirrel is big. The squirrel is rough. The squirrel visits the cow. The squirrel visits the mouse. If someone needs the squirrel and they need the cow then the cow visits the squirrel. Blue, red people are round. If someone visits the mouse and the mouse visits the cow then the cow visits the mouse. If someone needs the squirrel then the squirrel is blue. All big, round people are blue. If someone chases the cow then the cow visits the mouse. If someone chases the squirrel and they need the mouse then they chase the cow. If someone needs the cow and the cow visits the squirrel then the squirrel is big.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone needs the squirrel and they need the cow then the cow visits the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "needs" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
Blue, red people are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone visits the mouse and the mouse visits the cow then the cow visits the mouse.
((("someone" "visits" "mouse" "+") ("mouse" "visits" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
If someone needs the squirrel then the squirrel is blue.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
All big, round people are blue.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cow then the cow visits the mouse.
((("someone" "chases" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
If someone chases the squirrel and they need the mouse then they chase the cow.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the cow and the cow visits the squirrel then the squirrel is big.
((("someone" "needs" "cow" "+") ("cow" "visits" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
The cow is round.
True
1
proof
[(triple4)]
("cow" "is" "round" "+")
triple4
The cow is not round.
False
1
inv-proof
[(triple4)]
("cow" "is" "round" "-")
triple4
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The squirrel needs the mouse.
Unknown
random
[@0: The squirrel needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is big.[(triple3)] The cow is round.[(triple4)] The cow needs the squirrel.[(triple5)] The cow visits the mouse.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse is round.[(triple11 OR ((triple8 triple9) -> rule2))] The squirrel is big.[(triple12)] The squirrel is rough.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The cow is blue.[(((triple3 triple4) -> rule5))] The squirrel is blue.[(((triple5) -> rule4))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is red.
("mouse" "is" "red" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse is round.
("mouse" "is" "round" "+")
triple11
((triple8 triple9) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple13
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The cow is blue.
("cow" "is" "blue" "+")
((triple3 triple4) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple5) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1