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