The cow eats the squirrel. The cow needs the squirrel. The cow visits the squirrel. The mouse is big. The mouse is red. The mouse needs the squirrel. The squirrel eats the cow. The squirrel is cold. The squirrel needs the mouse. The squirrel visits the cow. If someone needs the mouse then they are kind.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone needs the mouse then they are kind.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "kind" "+"))
The squirrel eats the cow.
True
1
proof
[(triple7)]
("squirrel" "eats" "cow" "+")
triple7
The squirrel does not visit the cow.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "cow" "-")
triple10
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "kind" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The cow eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The cow visits the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse is red.[(triple5)] The mouse needs the squirrel.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is cold.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The squirrel is kind.[(((triple9) -> rule1))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple9) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1