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