The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the bald eagle. The rabbit needs the bald eagle. The rabbit visits the bald eagle. If someone is blue then they like the bald eagle. If someone is red and they visit the rabbit then the rabbit is big. If the bald eagle visits the rabbit then the bald eagle likes the rabbit. If someone is nice and big then they like the rabbit. If someone likes the rabbit then the rabbit is red. If someone likes the rabbit and they are nice then they visit the rabbit. If someone visits the bald eagle and the bald eagle is green then the bald eagle is nice. If someone likes the bald eagle then the bald eagle is big.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone is blue then they like the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is red and they visit the rabbit then the rabbit is big.
((("someone" "is" "red" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If the bald eagle visits the rabbit then the bald eagle likes the rabbit.
((("bald eagle" "visits" "rabbit" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone is nice and big then they like the rabbit.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the rabbit then the rabbit is red.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone likes the rabbit and they are nice then they visit the rabbit.
((("someone" "likes" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the bald eagle and the bald eagle is green then the bald eagle is nice.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone likes the bald eagle then the bald eagle is big.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The rabbit is blue.
True
1
proof
[(triple9)]
("rabbit" "is" "blue" "+")
triple9
The rabbit is not blue.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "blue" "-")
triple9
The rabbit is big.
True
3
proof
[(((triple5 triple8) -> rule2) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule2) OR ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2))]
("rabbit" "is" "big" "+")
((triple5 triple8) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
The rabbit is not big.
False
3
inv-proof
[(((triple5 triple8) -> rule2) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule2) OR ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2))]
("rabbit" "is" "big" "-")
((triple5 triple8) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
The rabbit likes the rabbit.
True
5
proof
[(((triple11 ((triple5 triple8) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4))]
("rabbit" "likes" "rabbit" "+")
((triple11 ((triple5 triple8) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
The rabbit does not like the rabbit.
False
5
inv-proof
[(((triple11 ((triple5 triple8) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4))]
("rabbit" "likes" "rabbit" "-")
((triple11 ((triple5 triple8) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
The rabbit visits the rabbit.
True
7
proof
[(((((triple11 ((triple5 triple8) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6))]
("rabbit" "visits" "rabbit" "+")
((((triple11 ((triple5 triple8) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
The rabbit does not visit the rabbit.
False
7
inv-proof
[(((((triple11 ((triple5 triple8) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6))]
("rabbit" "visits" "rabbit" "-")
((((triple11 ((triple5 triple8) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
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 rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle is big.[(triple1 OR ((triple13) -> rule8) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple9) -> rule1)) -> rule8))] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4 OR ((triple15 triple3) -> rule7))] The bald eagle is red.[(triple5)] The bald eagle likes the rabbit.[(triple6 OR ((triple8) -> rule3) OR ((triple4 triple1) -> rule4) OR ((triple4 ((triple13) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) triple1) -> rule4) OR ((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) OR ((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4))] The bald eagle needs the rabbit.[(triple7)] The bald eagle visits the rabbit.[(triple8 OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 triple1) -> rule4) triple4) -> rule6) OR ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6) OR ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6))] The rabbit is blue.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12 OR ((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule4)) -> rule5) OR ((((triple11 ((triple5 triple8) -> rule2)) -> rule4)) -> rule5) OR ((((triple4 ((triple13) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) triple1) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4)) -> rule5))] The rabbit likes the bald eagle.[(triple13 OR ((triple9) -> rule1))] The rabbit needs the bald eagle.[(triple14)] The rabbit visits the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule1))] The rabbit is big.[(((triple5 triple8) -> rule2) OR ((triple5 ((triple6 triple4) -> rule6)) -> rule2) OR ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2) OR ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2))] @2: The rabbit likes the rabbit.[(((triple11 ((triple5 triple8) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4))] @3: The rabbit visits the rabbit.[(((((triple11 ((triple5 triple8) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) triple1) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((triple13) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((triple4 ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) triple4) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple2) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6) OR ((((triple11 ((triple5 ((((((triple15 triple3) -> rule7) ((((triple9) -> rule1)) -> rule8)) -> rule4) ((triple15 triple3) -> rule7)) -> rule6)) -> rule2)) -> rule4) triple11) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((triple13) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
((triple15 triple3) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple6
((triple8) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((triple4 triple1) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((triple4 ((triple13) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
((((triple15 triple3) -> (rule7 % int2)) triple1) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((((triple15 triple3) -> (rule7 % int3)) ((triple13) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple4 ((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((triple4 ((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((triple15 triple3) -> (rule7 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((triple15 triple3) -> (rule7 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple7
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple8
((triple6 triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
((triple6 ((triple15 triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
((((triple4 triple1) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple4 triple1) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((((triple4 ((triple13) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
((((((triple15 triple3) -> (rule7 % int3)) triple1) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((triple4 ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
((((((triple15 triple3) -> (rule7 % int3)) triple1) -> (rule4 % int2)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((((triple15 triple3) -> (rule7 % int4)) ((triple13) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((((triple15 triple3) -> (rule7 % int4)) ((triple13) -> (rule8 % int3))) -> (rule4 % int2)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((triple4 ((((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((triple4 ((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((triple4 ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((((triple4 ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((((((triple15 triple3) -> (rule7 % int5)) ((((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((triple15 triple3) -> (rule7 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((triple15 triple3) -> (rule7 % int5)) ((((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((triple15 triple3) -> (rule7 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
((triple6) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple4 triple1) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
((((triple11 ((triple5 triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple4 ((triple13) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
((((((triple15 triple3) -> (rule7 % int3)) triple1) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((((((triple15 triple3) -> (rule7 % int4)) ((triple13) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
((((triple4 ((((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
((((triple4 ((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((((triple15 triple3) -> (rule7 % int5)) ((((triple2) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((((triple15 triple3) -> (rule7 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
((triple9) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple14
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple15
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple5 triple8) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((triple5 ((triple6 triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
((triple5 ((((triple4 triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int4)) triple1) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((((triple15 triple3) -> (rule7 % int5)) ((triple13) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple2) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((((triple9) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple11 ((triple5 triple8) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int5)) triple1) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) ((triple13) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple2) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((((triple9) -> (rule1 % int6))) -> (rule8 % int5))) -> (rule4 % int4)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
int5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple11 ((triple5 triple8) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
((((triple11 ((triple5 ((triple6 triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
((((triple11 ((triple5 ((triple6 ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
((((triple11 ((triple5 ((((triple4 triple1) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((triple4 ((triple13) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int6)) triple1) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int6))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int6
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int7)) ((triple13) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int7))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
((((triple11 ((triple5 ((((triple4 ((((triple2) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((triple4 ((((triple9) -> (rule1 % int8))) -> (rule8 % int7))) -> (rule4 % int6)) ((triple15 triple3) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int6
The bald eagle is big.
("bald eagle" "is" "big" "+")
int7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) triple4) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple2) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8
((((triple11 ((triple5 ((((((triple15 triple3) -> (rule7 % int8)) ((((triple9) -> (rule1 % int7))) -> (rule8 % int6))) -> (rule4 % int5)) ((triple15 triple3) -> (rule7 % int8))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple11) -> (rule6 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int5
The bald eagle is big.
("bald eagle" "is" "big" "+")
int6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int8