The bald eagle eats the squirrel. The bald eagle is green. The bald eagle likes the dog. The bald eagle needs the rabbit. The dog is big. The dog is round. The dog needs the rabbit. The dog needs the squirrel. The rabbit likes the squirrel. The squirrel eats the bald eagle. The squirrel likes the bald eagle. The squirrel likes the rabbit. If someone is big then they eat the squirrel. If someone needs the rabbit then the rabbit likes the bald eagle. If someone is big and they like the bald eagle then the bald eagle is rough. If the bald eagle is round and the bald eagle eats the rabbit then the rabbit is blue. If someone is round and they eat the bald eagle then they eat the dog. If the dog eats the rabbit then the rabbit likes the squirrel. If someone eats the squirrel then they are green. If someone is green then they eat the rabbit. If someone likes the bald eagle then they are big.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone is big then they eat the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone needs the rabbit then the rabbit likes the bald eagle.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone is big and they like the bald eagle then the bald eagle is rough.
((("someone" "is" "big" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the bald eagle is round and the bald eagle eats the rabbit then the rabbit is blue.
((("bald eagle" "is" "round" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If someone is round and they eat the bald eagle then they eat the dog.
((("someone" "is" "round" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "dog" "+"))
If the dog eats the rabbit then the rabbit likes the squirrel.
((("dog" "eats" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone eats the squirrel then they are green.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they eat the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone likes the bald eagle then they are big.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple3)]
("bald eagle" "likes" "dog" "+")
triple3
The rabbit does not like the squirrel.
False
1
inv-proof
[(triple9 OR ((((((((triple5) -> rule1)) -> rule7)) -> rule8)) -> rule6))]
("rabbit" "likes" "squirrel" "-")
triple9
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The squirrel is big.
True
2
proof
[(((triple11) -> rule9))]
("squirrel" "is" "big" "+")
((triple11) -> (rule9 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The rabbit does not like the bald eagle.
False
2
inv-proof
[(((triple4) -> rule2) OR ((triple7) -> rule2))]
("rabbit" "likes" "bald eagle" "-")
((triple4) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
((triple7) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is rough.
True
4
proof
[(((((triple11) -> rule9) triple11) -> rule3) OR ((((((triple4) -> rule2)) -> rule9) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule2)) -> rule9) ((triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule2)) -> rule9) ((triple4) -> rule2)) -> rule3) OR ((((((triple7) -> rule2)) -> rule9) ((triple7) -> rule2)) -> rule3))]
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule9 % int2)) triple11) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule9 % int2)) ((triple4) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule9 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule9 % int2)) ((triple4) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule9 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The dog is not green.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule7))]
("dog" "is" "green" "-")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The dog eats the rabbit.
True
4
proof
[(((((((triple5) -> rule1)) -> rule7)) -> rule8))]
("dog" "eats" "rabbit" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The dog does not eat the rabbit.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule7)) -> rule8))]
("dog" "eats" "rabbit" "-")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The squirrel eats the rabbit.
True
5
proof
[(((((((((triple11) -> rule9)) -> rule1)) -> rule7)) -> rule8))]
("squirrel" "eats" "rabbit" "+")
((((((((triple11) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
int4
The rabbit is not green.
False
5
inv-proof
[(((((((((triple4) -> rule2)) -> rule9)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule9)) -> rule1)) -> rule7))]
("rabbit" "is" "green" "-")
((((((((triple4) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The rabbit eats the rabbit.
True
6
proof
[(((((((((((triple4) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8))]
("rabbit" "eats" "rabbit" "+")
((((((((((triple4) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The rabbit does not eat the rabbit.
False
6
inv-proof
[(((((((((((triple4) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8))]
("rabbit" "eats" "rabbit" "-")
((((((((((triple4) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "-")
The bald eagle eats the dog.
Unknown
rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "is" "big" "+")
The rabbit does not eat the dog.
Unknown
inv-rconc
[@1: The rabbit eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "dog" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "blue" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The squirrel does not need the rabbit.
Unknown
inv-random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is green.[(triple2 OR ((triple1) -> rule7))] The bald eagle likes the dog.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The dog is big.[(triple5)] The dog is round.[(triple6)] The dog needs the rabbit.[(triple7)] The dog needs the squirrel.[(triple8)] The rabbit likes the squirrel.[(triple9 OR ((((((((triple5) -> rule1)) -> rule7)) -> rule8)) -> rule6))] The squirrel eats the bald eagle.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel likes the rabbit.[(triple12)] @1: The bald eagle eats the rabbit.[(((triple2) -> rule8) OR ((((triple1) -> rule7)) -> rule8))] The dog eats the squirrel.[(((triple5) -> rule1))] The rabbit likes the bald eagle.[(((triple4) -> rule2) OR ((triple7) -> rule2))] The squirrel is big.[(((triple11) -> rule9))] @2: The bald eagle is rough.[(((((triple11) -> rule9) triple11) -> rule3) OR ((((((triple4) -> rule2)) -> rule9) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule2)) -> rule9) ((triple7) -> rule2)) -> rule3) OR ((((((triple7) -> rule2)) -> rule9) ((triple4) -> rule2)) -> rule3) OR ((((((triple7) -> rule2)) -> rule9) ((triple7) -> rule2)) -> rule3))] The dog is green.[(((((triple5) -> rule1)) -> rule7))] The rabbit is big.[(((((triple4) -> rule2)) -> rule9) OR ((((triple7) -> rule2)) -> rule9))] The squirrel eats the squirrel.[(((((triple11) -> rule9)) -> rule1))] @3: The dog eats the rabbit.[(((((((triple5) -> rule1)) -> rule7)) -> rule8))] The rabbit eats the squirrel.[(((((((triple4) -> rule2)) -> rule9)) -> rule1) OR ((((((triple7) -> rule2)) -> rule9)) -> rule1))] The squirrel is green.[(((((((triple11) -> rule9)) -> rule1)) -> rule7))] @4: The rabbit is green.[(((((((((triple4) -> rule2)) -> rule9)) -> rule1)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule9)) -> rule1)) -> rule7))] The squirrel eats the rabbit.[(((((((((triple11) -> rule9)) -> rule1)) -> rule7)) -> rule8))] @5: The rabbit eats the rabbit.[(((((((((((triple4) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule9)) -> rule1)) -> rule7)) -> rule8))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
((triple1) -> (rule7 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple8
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple9
((((((((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple12
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple2) -> (rule8 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple5) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple4) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
((triple7) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple11) -> (rule9 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((((triple11) -> (rule9 % int2)) triple11) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule9 % int2)) ((triple4) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple4) -> (rule2 % int3))) -> (rule9 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule9 % int2)) ((triple4) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule9 % int2)) ((triple7) -> (rule2 % int3))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The dog is green.
("dog" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule7 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple4) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((triple7) -> (rule2 % int2))) -> (rule9 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((triple11) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
((((((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((((((triple4) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
((((((triple11) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
int3
The rabbit is green.
("rabbit" "is" "green" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
((((((((triple11) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is big.
("squirrel" "is" "big" "+")
int4
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((((((((triple4) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5
((((((((((triple7) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is big.
("rabbit" "is" "big" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int5