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