The cow eats the squirrel. The cow likes the mouse. The mouse eats the cow. The mouse likes the cow. The mouse likes the squirrel. The squirrel eats the cow. The squirrel is kind. The squirrel likes the mouse. The squirrel does not visit the cow. The squirrel does not visit the mouse. If something is blue and it likes the mouse then it is round.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
If something is blue and it likes the mouse then it is round.
((("something" "is" "blue" "+") ("something" "likes" "mouse" "+")) -> ("something" "is" "round" "+"))
The cow eats the squirrel.
True
1
proof
[(triple1)]
("cow" "eats" "squirrel" "+")
triple1
The mouse does not eat the cow.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "cow" "-")
triple3
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "round" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow eats the squirrel.[(triple1)] The cow likes the mouse.[(triple2)] The mouse eats the cow.[(triple3)] The mouse likes the cow.[(triple4)] The mouse likes the squirrel.[(triple5)] The squirrel does not visit the cow.[(triple9)] The squirrel does not visit the mouse.[(triple10)] The squirrel eats the cow.[(triple6)] The squirrel is kind.[(triple7)] The squirrel likes the mouse.[(triple8)]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple2
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple3
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple4
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple5
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple9
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple8