The cat is cold. The cow eats the cat. The cow eats the squirrel. The cow needs the mouse. The mouse visits the squirrel. The squirrel is big. The squirrel visits the mouse. If someone needs the squirrel then they eat the squirrel. If someone is young and they eat the cow then the cow is rough. If someone visits the cow and they are red then they visit the squirrel. If someone needs the mouse then the mouse visits the cow. If the cat needs the squirrel and the squirrel eats the mouse then the cat eats the cow. If someone eats the cow and they eat the squirrel then the cow is big. If someone is rough and they eat the squirrel then the squirrel visits the mouse. If someone is red then they visit the cat.
The cat is cold.
("cat" "is" "cold" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone needs the squirrel then they eat the squirrel.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is young and they eat the cow then the cow is rough.
((("someone" "is" "young" "+") ("someone" "eats" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone visits the cow and they are red then they visit the squirrel.
((("someone" "visits" "cow" "+") ("someone" "is" "red" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone needs the mouse then the mouse visits the cow.
((("someone" "needs" "mouse" "+")) -> ("mouse" "visits" "cow" "+"))
If the cat needs the squirrel and the squirrel eats the mouse then the cat eats the cow.
((("cat" "needs" "squirrel" "+") ("squirrel" "eats" "mouse" "+")) -> ("cat" "eats" "cow" "+"))
If someone eats the cow and they eat the squirrel then the cow is big.
((("someone" "eats" "cow" "+") ("someone" "eats" "squirrel" "+")) -> ("cow" "is" "big" "+"))
If someone is rough and they eat the squirrel then the squirrel visits the mouse.
((("someone" "is" "rough" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone is red then they visit the cat.
((("someone" "is" "red" "+")) -> ("someone" "visits" "cat" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cow does not eat the cat.
False
1
inv-proof
[(triple2)]
("cow" "eats" "cat" "-")
triple2
The mouse visits the cow.
True
2
proof
[(((triple4) -> rule4))]
("mouse" "visits" "cow" "+")
((triple4) -> (rule4 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The mouse does not visit the cow.
False
2
inv-proof
[(((triple4) -> rule4))]
("mouse" "visits" "cow" "-")
((triple4) -> (rule4 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The squirrel does not visit the cat.
Unknown
inv-rconc
[@1: The squirrel visits the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "visits" "cat" "-")
The cow visits the squirrel.
Unknown
rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "squirrel" "+")
The mouse does not need the squirrel.
Unknown
inv-random
[@0: The mouse needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "squirrel" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The cat is cold.[(triple1)] The cow eats the cat.[(triple2)] The cow eats the squirrel.[(triple3)] The cow needs the mouse.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The mouse visits the cow.[(((triple4) -> rule4))]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple3
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple4
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7
The mouse visits the cow.
("mouse" "visits" "cow" "+")
((triple4) -> (rule4 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1