The cat eats the lion. The cat is big. The cat is red. The cat is young. The cat needs the lion. The lion eats the cat. The lion is big. The lion is cold. The lion is green. The lion is young. The lion likes the cat. The lion needs the cat. If something likes the lion then it is green. If the cat is cold and the cat likes the lion then the lion is young. If something is cold then it likes the cat. If something likes the lion and the lion likes the cat then the lion needs the cat. If something eats the cat and it likes the cat then the cat likes the lion. If something is big then it eats the lion. If something is green then it eats the cat. If something eats the lion and the lion eats the cat then the cat is cold.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something likes the lion then it is green.
((("something" "likes" "lion" "+")) -> ("something" "is" "green" "+"))
If the cat is cold and the cat likes the lion then the lion is young.
((("cat" "is" "cold" "+") ("cat" "likes" "lion" "+")) -> ("lion" "is" "young" "+"))
If something is cold then it likes the cat.
((("something" "is" "cold" "+")) -> ("something" "likes" "cat" "+"))
If something likes the lion and the lion likes the cat then the lion needs the cat.
((("something" "likes" "lion" "+") ("lion" "likes" "cat" "+")) -> ("lion" "needs" "cat" "+"))
If something eats the cat and it likes the cat then the cat likes the lion.
((("something" "eats" "cat" "+") ("something" "likes" "cat" "+")) -> ("cat" "likes" "lion" "+"))
If something is big then it eats the lion.
((("something" "is" "big" "+")) -> ("something" "eats" "lion" "+"))
If something is green then it eats the cat.
((("something" "is" "green" "+")) -> ("something" "eats" "cat" "+"))
If something eats the lion and the lion eats the cat then the cat is cold.
((("something" "eats" "lion" "+") ("lion" "eats" "cat" "+")) -> ("cat" "is" "cold" "+"))
The lion likes the cat.
True
1
proof
[(triple11 OR ((triple8) -> rule3))]
("lion" "likes" "cat" "+")
triple11
((triple8) -> (rule3 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cat does not need the lion.
False
1
inv-proof
[(triple5)]
("cat" "needs" "lion" "-")
triple5
The cat is cold.
True
3
proof
[(((triple1 triple6) -> rule8) OR ((triple1 ((triple9) -> rule7)) -> rule8) OR ((((triple2) -> rule6) triple6) -> rule8) OR ((((triple7) -> rule6) triple6) -> rule8) OR ((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) OR ((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8))]
("cat" "is" "cold" "+")
((triple1 triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple1 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
((((triple2) -> (rule6 % int2)) triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The cat does not like the lion.
False
3
inv-proof
[(((triple6 triple11) -> rule5) OR ((triple6 ((triple8) -> rule3)) -> rule5) OR ((((triple9) -> rule7) triple11) -> rule5) OR ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5))]
("cat" "likes" "lion" "-")
((triple6 triple11) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
((triple6 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
((((triple9) -> (rule7 % int2)) triple11) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat likes the cat.
True
4
proof
[(((((triple1 triple6) -> rule8)) -> rule3) OR ((((triple1 ((triple9) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8)) -> rule3))]
("cat" "likes" "cat" "+")
((((triple1 triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((triple1 ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
((((((triple2) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
((((((triple7) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple2) -> (rule6 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat eats the lion.
("cat" "eats" "lion" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The cat is not green.
False
4
inv-proof
[(((((triple6 triple11) -> rule5)) -> rule1) OR ((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9) -> rule7) triple11) -> rule5)) -> rule1) OR ((((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule1))]
("cat" "is" "green" "-")
((((triple6 triple11) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
((((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
((((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The cat eats the lion.[(triple1 OR ((triple2) -> rule6))] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat needs the lion.[(triple5)] The lion eats the cat.[(triple6 OR ((triple9) -> rule7))] The lion is big.[(triple7)] The lion is cold.[(triple8)] The lion is green.[(triple9)] The lion is young.[(triple10 OR ((((triple1 triple6) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((triple1 ((triple9) -> rule7)) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) triple6) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((triple1 ((triple9) -> rule7)) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((triple1 ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) triple6) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) triple6) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8) ((triple6 triple11) -> rule5)) -> rule2) OR ((((triple1 ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) triple6) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) triple6) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8) ((triple6 ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) triple11) -> rule5)) -> rule2) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule2))] The lion likes the cat.[(triple11 OR ((triple8) -> rule3))] The lion needs the cat.[(triple12 OR ((((triple6 triple11) -> rule5) triple11) -> rule4) OR ((((triple6 triple11) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((triple6 ((triple8) -> rule3)) -> rule5) triple11) -> rule4) OR ((((((triple9) -> rule7) triple11) -> rule5) triple11) -> rule4) OR ((((triple6 ((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple9) -> rule7) triple11) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5) triple11) -> rule4) OR ((((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5) ((triple8) -> rule3)) -> rule4))] @1: The cat is cold.[(((triple1 triple6) -> rule8) OR ((triple1 ((triple9) -> rule7)) -> rule8) OR ((((triple2) -> rule6) triple6) -> rule8) OR ((((triple7) -> rule6) triple6) -> rule8) OR ((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8) OR ((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8))] The cat likes the lion.[(((triple6 triple11) -> rule5) OR ((triple6 ((triple8) -> rule3)) -> rule5) OR ((((triple9) -> rule7) triple11) -> rule5) OR ((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5))] The lion eats the lion.[(((triple7) -> rule6))] @2: The cat is green.[(((((triple6 triple11) -> rule5)) -> rule1) OR ((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule1) OR ((((((triple9) -> rule7) triple11) -> rule5)) -> rule1) OR ((((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule1))] The cat likes the cat.[(((((triple1 triple6) -> rule8)) -> rule3) OR ((((triple1 ((triple9) -> rule7)) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) triple6) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple9) -> rule7)) -> rule8)) -> rule3) OR ((((((triple7) -> rule6) ((triple9) -> rule7)) -> rule8)) -> rule3))] @3: The cat eats the cat.[(((((((triple6 triple11) -> rule5)) -> rule1)) -> rule7) OR ((((((triple6 ((triple8) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple9) -> rule7) triple11) -> rule5)) -> rule1)) -> rule7) OR ((((((((triple9) -> rule7) ((triple8) -> rule3)) -> rule5)) -> rule1)) -> rule7))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
((triple2) -> (rule6 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The lion eats the cat.
("lion" "eats" "cat" "+")
triple6
((triple9) -> (rule7 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
((((triple1 triple6) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
((((triple1 triple6) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((triple1 triple6) -> (rule8 % int4)) ((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
((((triple1 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
((((((triple2) -> (rule6 % int4)) triple6) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The cat eats the lion.
("cat" "eats" "lion" "+")
int4
((((((triple7) -> (rule6 % int4)) triple6) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
((((triple1 triple6) -> (rule8 % int5)) ((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
((((triple1 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
((((triple1 ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule7 % int4)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
((((((triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The cat eats the lion.
("cat" "eats" "lion" "+")
int5
((((((triple2) -> (rule6 % int5)) triple6) -> (rule8 % int4)) ((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The cat eats the lion.
("cat" "eats" "lion" "+")
int5
((((((triple2) -> (rule6 % int5)) ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat eats the lion.
("cat" "eats" "lion" "+")
int5
((((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4)) ((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((triple6 triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((triple1 ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple9) -> (rule7 % int5)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
((((((triple2) -> (rule6 % int6)) triple6) -> (rule8 % int5)) ((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The cat eats the lion.
("cat" "eats" "lion" "+")
int6
((((((triple2) -> (rule6 % int6)) ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
The cat eats the lion.
("cat" "eats" "lion" "+")
int6
((((((triple2) -> (rule6 % int5)) ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule7 % int4)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat eats the lion.
("cat" "eats" "lion" "+")
int5
((((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5)) ((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
((((((triple7) -> (rule6 % int5)) ((triple9) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple9) -> (rule7 % int4)) triple11) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The lion eats the lion.
("lion" "eats" "lion" "+")
int5
((((((triple2) -> (rule6 % int6)) ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple9) -> (rule7 % int5)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
The cat eats the lion.
("cat" "eats" "lion" "+")
int6
((((((triple7) -> (rule6 % int6)) ((triple9) -> (rule7 % int5))) -> (rule8 % int4)) ((((triple9) -> (rule7 % int5)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The cat is cold.
("cat" "is" "cold" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5
The lion eats the lion.
("lion" "eats" "lion" "+")
int6
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
((triple8) -> (rule3 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12
((((triple6 triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((triple6 triple11) -> (rule5 % int3)) ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
((((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
((((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
((((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2)) ((triple8) -> (rule3 % int3))) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
((((((triple9) -> (rule7 % int4)) triple11) -> (rule5 % int3)) ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
((((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
((((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2)) ((triple8) -> (rule3 % int3))) -> (rule4 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat is cold.
("cat" "is" "cold" "+")
((triple1 triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((triple1 ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
((((triple2) -> (rule6 % int2)) triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
((((triple2) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
((((triple7) -> (rule6 % int3)) ((triple9) -> (rule7 % int2))) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple6 triple11) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
((triple6 ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
((((triple9) -> (rule7 % int2)) triple11) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion eats the cat.
("lion" "eats" "cat" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion likes the cat.
("lion" "likes" "cat" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple7) -> (rule6 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((((triple6 triple11) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((triple6 ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
((((((triple9) -> (rule7 % int3)) triple11) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
((((((triple9) -> (rule7 % int4)) ((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion likes the cat.
("lion" "likes" "cat" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple1 triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
((((triple1 ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
((((((triple2) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat eats the lion.
("cat" "eats" "lion" "+")
int3
((((((triple7) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the lion.
("lion" "eats" "lion" "+")
int3
((((((triple2) -> (rule6 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The cat eats the lion.
("cat" "eats" "lion" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple9) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The lion eats the cat.
("lion" "eats" "cat" "+")
int3
The lion eats the lion.
("lion" "eats" "lion" "+")
int4
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((triple6 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
((((((triple6 ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion likes the cat.
("lion" "likes" "cat" "+")
int4
((((((((triple9) -> (rule7 % int4)) triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion eats the cat.
("lion" "eats" "cat" "+")
int4
((((((((triple9) -> (rule7 % int5)) ((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion likes the cat.
("lion" "likes" "cat" "+")
int4
The lion eats the cat.
("lion" "eats" "cat" "+")
int5