The cow chases the squirrel. The cow eats the squirrel. The cow is green. The cow is round. The cow needs the squirrel. The squirrel chases the cow. The squirrel needs the cow. If someone needs the cow and the cow needs the squirrel then the cow eats the squirrel. If someone is round then they need the cow. If the squirrel eats the cow then the squirrel chases the cow. If someone is kind and green then they need the cow. If someone chases the squirrel and the squirrel chases the cow then the cow chases the squirrel. If someone is round and green then they eat the cow.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If someone needs the cow and the cow needs the squirrel then the cow eats the squirrel.
((("someone" "needs" "cow" "+") ("cow" "needs" "squirrel" "+")) -> ("cow" "eats" "squirrel" "+"))
If someone is round then they need the cow.
((("someone" "is" "round" "+")) -> ("someone" "needs" "cow" "+"))
If the squirrel eats the cow then the squirrel chases the cow.
((("squirrel" "eats" "cow" "+")) -> ("squirrel" "chases" "cow" "+"))
If someone is kind and green then they need the cow.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "cow" "+"))
If someone chases the squirrel and the squirrel chases the cow then the cow chases the squirrel.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "cow" "+")) -> ("cow" "chases" "squirrel" "+"))
If someone is round and green then they eat the cow.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "cow" "+"))
The squirrel chases the cow.
True
1
proof
[(triple6)]
("squirrel" "chases" "cow" "+")
triple6
The squirrel does not need the cow.
False
1
inv-proof
[(triple7)]
("squirrel" "needs" "cow" "-")
triple7
The cow needs the cow.
True
2
proof
[(((triple4) -> rule2))]
("cow" "needs" "cow" "+")
((triple4) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow does not eat the cow.
False
3
inv-proof
[(((triple4 triple3) -> rule6))]
("cow" "eats" "cow" "-")
((triple4 triple3) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The squirrel does not eat the cow.
Unknown
inv-rconc
[@1: The squirrel eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2 OR ((triple7 triple5) -> rule1) OR ((((triple4) -> rule2) triple5) -> rule1))] The cow is green.[(triple3)] The cow is round.[(triple4)] The cow needs the squirrel.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel needs the cow.[(triple7)] @1: The cow eats the cow.[(((triple4 triple3) -> rule6))] The cow needs the cow.[(((triple4) -> rule2))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
((triple7 triple5) -> (rule1 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
int2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple7
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple4 triple3) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple4) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1