The bear eats the cow. The bear is green. The bear needs the cow. The bear needs the squirrel. The cow eats the tiger. The cow is round. The squirrel eats the cow. The tiger chases the bear. The tiger eats the cow. The tiger is round. The tiger needs the squirrel. If someone eats the tiger then they need the tiger. If someone is rough then they eat the tiger. If someone chases the bear then the bear is round. If someone is rough and blue then they chase the squirrel. If someone needs the tiger and the tiger needs the squirrel then they are blue. If the squirrel is young then the squirrel eats the bear. If someone eats the cow then the cow eats the tiger. If the bear is green and the bear eats the cow then the bear is rough.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone eats the tiger then they need the tiger.
((("someone" "eats" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is rough then they eat the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "tiger" "+"))
If someone chases the bear then the bear is round.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "round" "+"))
If someone is rough and blue then they chase the squirrel.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone needs the tiger and the tiger needs the squirrel then they are blue.
((("someone" "needs" "tiger" "+") ("tiger" "needs" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If the squirrel is young then the squirrel eats the bear.
((("squirrel" "is" "young" "+")) -> ("squirrel" "eats" "bear" "+"))
If someone eats the cow then the cow eats the tiger.
((("someone" "eats" "cow" "+")) -> ("cow" "eats" "tiger" "+"))
If the bear is green and the bear eats the cow then the bear is rough.
((("bear" "is" "green" "+") ("bear" "eats" "cow" "+")) -> ("bear" "is" "rough" "+"))
The bear eats the cow.
True
1
proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The tiger does not eat the cow.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "cow" "-")
triple9
The bear is rough.
True
3
proof
[(((triple2 triple1) -> rule8))]
("bear" "is" "rough" "+")
((triple2 triple1) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple8) -> rule3))]
("bear" "is" "round" "-")
((triple8) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cow is blue.
True
4
proof
[(((((triple5) -> rule1) triple11) -> rule5) OR ((((((triple1) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple7) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple9) -> rule7)) -> rule1) triple11) -> rule5))]
("cow" "is" "blue" "+")
((((triple5) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The bear does not eat the tiger.
False
4
inv-proof
[(((((triple2 triple1) -> rule8)) -> rule2))]
("bear" "eats" "tiger" "-")
((((triple2 triple1) -> (rule8 % int2))) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear needs the tiger.
True
5
proof
[(((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1))]
("bear" "needs" "tiger" "+")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear does not need the tiger.
False
5
inv-proof
[(((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1))]
("bear" "needs" "tiger" "-")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is blue.
True
7
proof
[(((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5))]
("bear" "is" "blue" "+")
((((((((triple2 triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear is not blue.
False
7
inv-proof
[(((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5))]
("bear" "is" "blue" "-")
((((((((triple2 triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear chases the squirrel.
True
11
proof
[(((((triple2 triple1) -> rule8) ((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5)) -> rule4))]
("bear" "chases" "squirrel" "+")
((((triple2 triple1) -> (rule8 % int5)) ((((((((triple2 triple1) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
The bear does not chase the squirrel.
False
11
inv-proof
[(((((triple2 triple1) -> rule8) ((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5)) -> rule4))]
("bear" "chases" "squirrel" "-")
((((triple2 triple1) -> (rule8 % int5)) ((((((((triple2 triple1) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
The tiger is not blue.
Unknown
inv-rconc
[@3: The tiger is blue.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- FAIL)]]
("tiger" "is" "blue" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The cow chases the squirrel.
Unknown
rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "squirrel" "+")
The tiger does not need the tiger.
Unknown
inv-rconc
[@2: The tiger needs the tiger.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The cow does not chase the tiger.
Unknown
inv-random
[@0: The cow chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "tiger" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The bear does not eat the squirrel.
Unknown
inv-random
[@0: The bear eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "squirrel" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The squirrel chases the bear.
Unknown
random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is green.[(triple2)] The bear needs the cow.[(triple3)] The bear needs the squirrel.[(triple4)] The cow eats the tiger.[(triple5 OR ((triple1) -> rule7) OR ((triple7) -> rule7) OR ((triple9) -> rule7))] The cow is round.[(triple6)] The squirrel eats the cow.[(triple7)] The tiger chases the bear.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is round.[(triple10)] The tiger needs the squirrel.[(triple11)] @1: The bear is rough.[(((triple2 triple1) -> rule8))] The bear is round.[(((triple8) -> rule3))] The cow needs the tiger.[(((triple5) -> rule1) OR ((((triple1) -> rule7)) -> rule1) OR ((((triple7) -> rule7)) -> rule1) OR ((((triple9) -> rule7)) -> rule1))] @2: The bear eats the tiger.[(((((triple2 triple1) -> rule8)) -> rule2))] The cow is blue.[(((((triple5) -> rule1) triple11) -> rule5) OR ((((((triple1) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple7) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple9) -> rule7)) -> rule1) triple11) -> rule5))] @3: The bear needs the tiger.[(((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1))] @4: The bear is blue.[(((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5))] @5: The bear chases the squirrel.[(((((triple2 triple1) -> rule8) ((((((((triple2 triple1) -> rule8)) -> rule2)) -> rule1) triple11) -> rule5)) -> rule4))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple4
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple5
((triple1) -> (rule7 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
((triple7) -> (rule7 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
((triple9) -> (rule7 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple8
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple9
The tiger is round.
("tiger" "is" "round" "+")
triple10
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple11
The bear is rough.
("bear" "is" "rough" "+")
((triple2 triple1) -> (rule8 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is round.
("bear" "is" "round" "+")
((triple8) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
((triple5) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
((((triple9) -> (rule7 % int2))) -> (rule1 % int1))
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((((triple2 triple1) -> (rule8 % int2))) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
((((triple5) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow needs the tiger.
("cow" "needs" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
((((((triple2 triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
((((((((triple2 triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((((triple2 triple1) -> (rule8 % int5)) ((((((((triple2 triple1) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule4 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5