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