The cat does not see the squirrel. The cow does not chase the squirrel. The mouse is round. The squirrel needs the cow. If the cow is big then the cow is young. If someone chases the mouse and they chase the squirrel then the squirrel is not green. If someone needs the squirrel and the squirrel chases the cow then the cow is not round.
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The mouse is round.
("mouse" "is" "round" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the cow is big then the cow is young.
((("cow" "is" "big" "+")) -> ("cow" "is" "young" "+"))
If someone chases the mouse and they chase the squirrel then the squirrel is not green.
((("someone" "chases" "mouse" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "is" "green" "-"))
If someone needs the squirrel and the squirrel chases the cow then the cow is not round.
((("someone" "needs" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("cow" "is" "round" "-"))
The squirrel needs the cow.
True
1
proof
[(triple4)]
("squirrel" "needs" "cow" "+")
triple4
The squirrel does not need the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "needs" "cow" "-")
triple4
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cat needs the squirrel.
Unknown
random
[@0: The cat needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "squirrel" "+")
@0: The cat does not see the squirrel.[(triple1)] The cow does not chase the squirrel.[(triple2)] The mouse is round.[(triple3)] The squirrel needs the cow.[(triple4)]
The cat does not see the squirrel.
("cat" "sees" "squirrel" "-")
triple1
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple4