The cow chases the squirrel. The cow is blue. The cow is not green. The cow likes the squirrel. The cow sees the squirrel. The squirrel does not chase the cow. The squirrel is not green. The squirrel is red. The squirrel is rough. The squirrel sees the cow. If someone is green and they see the squirrel then they are blue. If someone sees the squirrel then the squirrel likes the cow. If someone sees the squirrel and they are red then the squirrel chases the cow. If someone is blue then they chase the cow. If someone likes the cow and the cow is not kind then the cow is red. If the cow is blue and the cow is not red then the cow chases the squirrel.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone is green and they see the squirrel then they are blue.
((("someone" "is" "green" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the squirrel then the squirrel likes the cow.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone sees the squirrel and they are red then the squirrel chases the cow.
((("someone" "sees" "squirrel" "+") ("someone" "is" "red" "+")) -> ("squirrel" "chases" "cow" "+"))
If someone is blue then they chase the cow.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "cow" "+"))
If someone likes the cow and the cow is not kind then the cow is red.
((("someone" "likes" "cow" "+") ("cow" "is" "kind" "~")) -> ("cow" "is" "red" "+"))
If the cow is blue and the cow is not red then the cow chases the squirrel.
((("cow" "is" "blue" "+") ("cow" "is" "red" "~")) -> ("cow" "chases" "squirrel" "+"))
The squirrel does not chase the cow.
True
1
proof
[(triple6)]
("squirrel" "chases" "cow" "-")
triple6
The cow does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "chases" "squirrel" "-")
triple1
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "red" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is not green.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel does not chase the cow.[(triple6)] The squirrel is not green.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The cow chases the cow.[(((triple2) -> rule4))] The squirrel likes the cow.[(((triple5) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple6
The squirrel is not green.
("squirrel" "is" "green" "-")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple2) -> (rule4 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple5) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1