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