The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The squirrel eats the bald eagle. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone eats the squirrel and the squirrel is round then they eat the bald eagle. If the squirrel likes the bald eagle and the squirrel needs the bald eagle then the bald eagle is round. If the bald eagle is red and the bald eagle likes the squirrel then the squirrel needs the bald eagle. If someone likes the squirrel then they are red. If someone likes the squirrel and they need the squirrel then the squirrel eats the bald eagle. If someone is round then they need the squirrel. If the squirrel likes the bald eagle then the squirrel eats the bald eagle. If someone eats the bald eagle then they need the bald eagle.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone eats the squirrel and the squirrel is round then they eat the bald eagle.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the squirrel likes the bald eagle and the squirrel needs the bald eagle then the bald eagle is round.
((("squirrel" "likes" "bald eagle" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If the bald eagle is red and the bald eagle likes the squirrel then the squirrel needs the bald eagle.
((("bald eagle" "is" "red" "+") ("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone likes the squirrel then they are red.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone likes the squirrel and they need the squirrel then the squirrel eats the bald eagle.
((("someone" "likes" "squirrel" "+") ("someone" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone is round then they need the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "needs" "squirrel" "+"))
If the squirrel likes the bald eagle then the squirrel eats the bald eagle.
((("squirrel" "likes" "bald eagle" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they need the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
The squirrel is kind.
True
1
proof
[(triple12)]
("squirrel" "is" "kind" "+")
triple12
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple8 OR ((triple6) -> rule6) OR ((((triple15 triple16) -> rule2)) -> rule6) OR ((((triple15 ((triple9) -> rule8)) -> rule2)) -> rule6) OR ((((triple15 ((triple5 triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple15 ((((triple15) -> rule7)) -> rule8)) -> rule2)) -> rule6) OR ((((triple15 ((((triple7) -> rule4) triple7) -> rule3)) -> rule2)) -> rule6))]
("bald eagle" "needs" "squirrel" "-")
triple8
((triple6) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
((((triple15 triple16) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((triple15 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
((((triple15 ((triple5 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
((((triple15 ((((triple15) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple15 ((((triple7) -> (rule4 % int4)) triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The squirrel needs the squirrel.
True
2
proof
[(((triple14) -> rule6))]
("squirrel" "needs" "squirrel" "+")
((triple14) -> (rule6 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((triple1 triple14) -> rule1))]
("bald eagle" "eats" "bald eagle" "-")
((triple1 triple14) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
True
4
proof
[(((((triple1 triple14) -> rule1)) -> rule8))]
("bald eagle" "needs" "bald eagle" "+")
((((triple1 triple14) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((((triple1 triple14) -> rule1)) -> rule8))]
("bald eagle" "needs" "bald eagle" "-")
((((triple1 triple14) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5 OR ((triple7) -> rule4))] The bald eagle is round.[(triple6 OR ((triple15 triple16) -> rule2) OR ((triple15 ((triple9) -> rule8)) -> rule2) OR ((triple15 ((triple5 triple7) -> rule3)) -> rule2) OR ((triple15 ((((triple15) -> rule7)) -> rule8)) -> rule2) OR ((triple15 ((((triple7 triple8) -> rule5)) -> rule8)) -> rule2) OR ((triple15 ((((triple7) -> rule4) triple7) -> rule3)) -> rule2))] The bald eagle likes the squirrel.[(triple7)] The bald eagle needs the squirrel.[(triple8 OR ((triple6) -> rule6) OR ((((triple15 triple16) -> rule2)) -> rule6) OR ((((triple15 ((triple9) -> rule8)) -> rule2)) -> rule6) OR ((((triple15 ((triple5 triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple15 ((((triple15) -> rule7)) -> rule8)) -> rule2)) -> rule6) OR ((((triple15 ((((triple7) -> rule4) triple7) -> rule3)) -> rule2)) -> rule6))] The squirrel eats the bald eagle.[(triple9 OR ((triple15) -> rule7) OR ((triple7 triple8) -> rule5) OR ((triple7 ((triple6) -> rule6)) -> rule5) OR ((triple7 ((((triple15 triple16) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((((triple15 ((triple5 triple7) -> rule3)) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((((triple15 ((((triple7) -> rule4) triple7) -> rule3)) -> rule2)) -> rule6)) -> rule5))] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the bald eagle.[(triple15)] The squirrel needs the bald eagle.[(triple16 OR ((triple9) -> rule8) OR ((triple5 triple7) -> rule3) OR ((((triple15) -> rule7)) -> rule8) OR ((((triple7 triple8) -> rule5)) -> rule8) OR ((((triple7) -> rule4) triple7) -> rule3) OR ((((triple7 ((triple6) -> rule6)) -> rule5)) -> rule8))] @1: The bald eagle eats the bald eagle.[(((triple1 triple14) -> rule1))] The squirrel needs the squirrel.[(((triple14) -> rule6))] @2: The bald eagle needs the bald eagle.[(((((triple1 triple14) -> rule1)) -> rule8))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
((triple7) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
((triple15 triple16) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple15 ((triple9) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
((triple15 ((triple5 triple7) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
((triple15 ((((triple15) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((triple15 ((((triple7 triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((triple15 ((((triple7) -> (rule4 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple7
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple8
((triple6) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
((((triple15 triple16) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((triple15 ((triple9) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
((((triple15 ((triple5 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
((((triple15 ((((triple15) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int4
((((triple15 ((((triple7) -> (rule4 % int4)) triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
((triple15) -> (rule7 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple7 triple8) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple7 ((triple6) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
((triple7 ((((triple15 triple16) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((triple7 ((((triple15 ((triple5 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
((triple7 ((((triple15 ((((triple7) -> (rule4 % int5)) triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
int5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
((triple9) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((triple5 triple7) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple7 triple8) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple7) -> (rule4 % int2)) triple7) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
((((triple7 ((triple6) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1 triple14) -> (rule1 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple14) -> (rule6 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple1 triple14) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2