The bear chases the cow. The bear needs the squirrel. The cow is green. The cow is rough. The cow visits the bear. The squirrel chases the cow. The squirrel is red. The squirrel needs the bear. The squirrel needs the cow. The squirrel visits the cow. If someone is red and they need the cow then they are green. If the squirrel is big then the squirrel is cold. If someone chases the cow and the cow visits the squirrel then the cow is red. If the cow visits the squirrel and the cow needs the squirrel then the cow chases the bear. If someone needs the squirrel and the squirrel needs the cow then the cow is big. If someone needs the squirrel then the squirrel needs the bear. If someone needs the squirrel then the squirrel is rough. If the cow chases the squirrel then the cow chases the bear.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is red and they need the cow then they are green.
((("someone" "is" "red" "+") ("someone" "needs" "cow" "+")) -> ("someone" "is" "green" "+"))
If the squirrel is big then the squirrel is cold.
((("squirrel" "is" "big" "+")) -> ("squirrel" "is" "cold" "+"))
If someone chases the cow and the cow visits the squirrel then the cow is red.
((("someone" "chases" "cow" "+") ("cow" "visits" "squirrel" "+")) -> ("cow" "is" "red" "+"))
If the cow visits the squirrel and the cow needs the squirrel then the cow chases the bear.
((("cow" "visits" "squirrel" "+") ("cow" "needs" "squirrel" "+")) -> ("cow" "chases" "bear" "+"))
If someone needs the squirrel and the squirrel needs the cow then the cow is big.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone needs the squirrel then the squirrel needs the bear.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bear" "+"))
If someone needs the squirrel then the squirrel is rough.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If the cow chases the squirrel then the cow chases the bear.
((("cow" "chases" "squirrel" "+")) -> ("cow" "chases" "bear" "+"))
The cow is rough.
True
1
proof
[(triple4)]
("cow" "is" "rough" "+")
triple4
The squirrel is not red.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "red" "-")
triple7
The squirrel is green.
True
3
proof
[(((triple7 triple9) -> rule1))]
("squirrel" "is" "green" "+")
((triple7 triple9) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The cow is not big.
False
3
inv-proof
[(((triple2 triple9) -> rule5))]
("cow" "is" "big" "-")
((triple2 triple9) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow does not chase the bear.
Unknown
inv-rconc
[@1: The cow chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "bear" "-")
The squirrel is cold.
Unknown
rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cow needs the bear.
Unknown
random
[@0: The cow needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bear" "+")
@0: The bear chases the cow.[(triple1)] The bear needs the squirrel.[(triple2)] The cow is green.[(triple3)] The cow is rough.[(triple4)] The cow visits the bear.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel is red.[(triple7)] The squirrel needs the bear.[(triple8 OR ((triple2) -> rule6))] The squirrel needs the cow.[(triple9)] The squirrel visits the cow.[(triple10)] @1: The cow is big.[(((triple2 triple9) -> rule5))] The squirrel is green.[(((triple7 triple9) -> rule1))] The squirrel is rough.[(((triple2) -> rule7))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow visits the bear.
("cow" "visits" "bear" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple8
((triple2) -> (rule6 % int1))
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple2 triple9) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple7 triple9) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple2) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1