The cat does not chase the squirrel. The cat is nice. The cat needs the mouse. The cat sees the cow. The cow is nice. The cow is round. The cow needs the mouse. The mouse needs the cow. The mouse sees the squirrel. The squirrel chases the cow. The squirrel is round. The squirrel does not need the mouse. If something is red and it needs the cat then it sees the squirrel.
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
If something is red and it needs the cat then it sees the squirrel.
((("something" "is" "red" "+") ("something" "needs" "cat" "+")) -> ("something" "sees" "squirrel" "+"))
The squirrel is round.
True
1
proof
[(triple11)]
("squirrel" "is" "round" "+")
triple11
The cat does not see the cow.
False
1
inv-proof
[(triple4)]
("cat" "sees" "cow" "-")
triple4
The cow does not see the squirrel.
Unknown
inv-rconc
[@1: The cow sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "squirrel" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cat does not chase the squirrel.[(triple1)] The cat is nice.[(triple2)] The cat needs the mouse.[(triple3)] The cat sees the cow.[(triple4)] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow needs the mouse.[(triple7)] The mouse needs the cow.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel does not need the mouse.[(triple12)] The squirrel is round.[(triple11)]
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cow is nice.
("cow" "is" "nice" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple7
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple8
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple9
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple10
The squirrel does not need the mouse.
("squirrel" "needs" "mouse" "-")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple11