The bald eagle eats the cat. The bald eagle is kind. The bald eagle likes the dog. The bear eats the bald eagle. The bear is kind. The bear likes the cat. The bear sees the cat. The cat eats the dog. The cat is big. The cat does not like the bald eagle. The cat sees the dog. The dog eats the bald eagle. The dog eats the bear. The dog eats the cat. If someone is red and they see the bear then the bear sees the cat. If someone eats the cat then they like the bear. If someone eats the bear then they eat the cat. If someone eats the bald eagle then they eat the bear. If someone is big then they eat the dog. If someone sees the bald eagle then the bald eagle does not like the bear. If the dog eats the cat then the cat eats the bald eagle. If the cat likes the bear then the cat likes the dog. If someone is round then they see the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
If someone is red and they see the bear then the bear sees the cat.
((("someone" "is" "red" "+") ("someone" "sees" "bear" "+")) -> ("bear" "sees" "cat" "+"))
If someone eats the cat then they like the bear.
((("someone" "eats" "cat" "+")) -> ("someone" "likes" "bear" "+"))
If someone eats the bear then they eat the cat.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the bald eagle then they eat the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "bear" "+"))
If someone is big then they eat the dog.
((("someone" "is" "big" "+")) -> ("someone" "eats" "dog" "+"))
If someone sees the bald eagle then the bald eagle does not like the bear.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "-"))
If the dog eats the cat then the cat eats the bald eagle.
((("dog" "eats" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
If the cat likes the bear then the cat likes the dog.
((("cat" "likes" "bear" "+")) -> ("cat" "likes" "dog" "+"))
If someone is round then they see the cat.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cat" "+"))
The dog eats the bear.
True
1
proof
[(triple13 OR ((triple12) -> rule4))]
("dog" "eats" "bear" "+")
triple13
((triple12) -> (rule4 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "eats" "bald eagle" "-")
triple4
The bear eats the bear.
True
2
proof
[(((triple4) -> rule4))]
("bear" "eats" "bear" "+")
((triple4) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bald eagle does not like the bear.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "bear" "-")
((triple1) -> (rule2 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat eats the bear.
True
3
proof
[(((((triple14) -> rule7)) -> rule4) OR ((((((triple13) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4))]
("cat" "eats" "bear" "+")
((((triple14) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The cat does not eat the bear.
False
3
inv-proof
[(((((triple14) -> rule7)) -> rule4) OR ((((((triple13) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4))]
("cat" "eats" "bear" "-")
((((triple14) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The cat eats the cat.
True
4
proof
[(((((((triple14) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3))]
("cat" "eats" "cat" "+")
((((((triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
((((((((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
int4
((((((((((triple12) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The bear does not like the bear.
False
4
inv-proof
[(((((((triple4) -> rule4)) -> rule3)) -> rule2))]
("bear" "likes" "bear" "-")
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The cat likes the bear.
True
5
proof
[(((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2))]
("cat" "likes" "bear" "+")
((((((((triple14) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
((((((((((triple13) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
((((((((((((triple12) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
int6
The cat does not like the bear.
False
5
inv-proof
[(((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2))]
("cat" "likes" "bear" "-")
((((((((triple14) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
((((((((((triple13) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
((((((((((((triple12) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
int6
The cat likes the dog.
True
6
proof
[(((((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
("cat" "likes" "dog" "+")
((((((((((triple14) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
((((((((((((triple13) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
((((((((((((((triple12) -> (rule4 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
The dog eats the bear.
("dog" "eats" "bear" "+")
int7
The cat does not like the dog.
False
6
inv-proof
[(((((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
("cat" "likes" "dog" "-")
((((((((((triple14) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
((((((((((((triple13) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
((((((((((((((triple12) -> (rule4 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
The dog eats the bear.
("dog" "eats" "bear" "+")
int7
The dog does not see the cat.
Unknown
inv-rconc
[@1: The dog sees the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("dog" "sees" "cat" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "+")
The bear does not eat the dog.
Unknown
inv-rconc
[@1: The bear eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "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 bald eagle does not see the cat.
Unknown
inv-rconc
[@1: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The bald eagle eats the bear.
Unknown
rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bear" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The cat sees the bald eagle.
Unknown
random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the dog.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is kind.[(triple5)] The bear likes the cat.[(triple6)] The bear sees the cat.[(triple7)] The cat does not like the bald eagle.[(triple10)] The cat eats the dog.[(triple8 OR ((triple9) -> rule5))] The cat is big.[(triple9)] The cat sees the dog.[(triple11)] The dog eats the bald eagle.[(triple12)] The dog eats the bear.[(triple13 OR ((triple12) -> rule4))] The dog eats the cat.[(triple14 OR ((triple13) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] @1: The bald eagle likes the bear.[(((triple1) -> rule2))] The bear eats the bear.[(((triple4) -> rule4))] The cat eats the bald eagle.[(((triple14) -> rule7) OR ((((triple13) -> rule3)) -> rule7) OR ((((((triple12) -> rule4)) -> rule3)) -> rule7))] The dog likes the bear.[(((triple14) -> rule2) OR ((((triple13) -> rule3)) -> rule2) OR ((((((triple12) -> rule4)) -> rule3)) -> rule2))] @2: The bear eats the cat.[(((((triple4) -> rule4)) -> rule3))] The cat eats the bear.[(((((triple14) -> rule7)) -> rule4) OR ((((((triple13) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4))] @3: The bear likes the bear.[(((((((triple4) -> rule4)) -> rule3)) -> rule2))] The cat eats the cat.[(((((((triple14) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3))] @4: The cat likes the bear.[(((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2))] @5: The cat likes the dog.[(((((((((((triple14) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((triple13) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((triple12) -> rule4)) -> rule3)) -> rule7)) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear is kind.
("bear" "is" "kind" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear sees the cat.
("bear" "sees" "cat" "+")
triple7
The cat does not like the bald eagle.
("cat" "likes" "bald eagle" "-")
triple10
The cat eats the dog.
("cat" "eats" "dog" "+")
triple8
((triple9) -> (rule5 % int1))
The cat eats the dog.
("cat" "eats" "dog" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple9
The cat sees the dog.
("cat" "sees" "dog" "+")
triple11
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple12
The dog eats the bear.
("dog" "eats" "bear" "+")
triple13
((triple12) -> (rule4 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
triple14
((triple13) -> (rule3 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple4) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple14) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple14) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple13) -> (rule3 % int2))) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
((((((triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
((((triple14) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
((((((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
((((((((triple12) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The bear likes the bear.
("bear" "likes" "bear" "+")
((((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((triple14) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
((((((((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
int4
((((((((((triple12) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat eats the bear.
("cat" "eats" "bear" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The cat likes the bear.
("cat" "likes" "bear" "+")
((((((((triple14) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
((((((((((triple13) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
((((((((((((triple12) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int4
The dog eats the cat.
("dog" "eats" "cat" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
int6
The cat likes the dog.
("cat" "likes" "dog" "+")
((((((((((triple14) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
((((((((((((triple13) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
((((((((((((((triple12) -> (rule4 % int7))) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat eats the bear.
("cat" "eats" "bear" "+")
int4
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int5
The dog eats the cat.
("dog" "eats" "cat" "+")
int6
The dog eats the bear.
("dog" "eats" "bear" "+")
int7