The mouse chases the squirrel. The squirrel eats the mouse. The squirrel is not round. If the mouse needs the squirrel then the squirrel is round. If someone chases the squirrel and they eat the squirrel then the squirrel chases the mouse. If someone eats the squirrel and the squirrel is nice then the squirrel is blue. If someone is round then they need the squirrel. If someone is round then they chase the mouse. If the mouse does not chase the squirrel then the squirrel eats the mouse.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
If the mouse needs the squirrel then the squirrel is round.
((("mouse" "needs" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If someone chases the squirrel and they eat the squirrel then the squirrel chases the mouse.
((("someone" "chases" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If someone eats the squirrel and the squirrel is nice then the squirrel is blue.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is round then they need the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is round then they chase the mouse.
((("someone" "is" "round" "+")) -> ("someone" "chases" "mouse" "+"))
If the mouse does not chase the squirrel then the squirrel eats the mouse.
((("mouse" "chases" "squirrel" "~")) -> ("squirrel" "eats" "mouse" "+"))
The mouse chases the squirrel.
True
1
proof
[(triple1)]
("mouse" "chases" "squirrel" "+")
triple1
The squirrel does not eat the mouse.
False
1
inv-proof
[(triple2)]
("squirrel" "eats" "mouse" "-")
triple2
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The mouse chases the squirrel.[(triple1)] The squirrel eats the mouse.[(triple2)] The squirrel is not round.[(triple3)]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple2
The squirrel is not round.
("squirrel" "is" "round" "-")
triple3