The cat eats the mouse. The cat is young. The lion eats the cat. The lion eats the mouse. The lion is cold. The lion likes the cat. The lion needs the cat. The lion needs the mouse. The mouse eats the lion. The mouse is cold. The mouse likes the rabbit. The rabbit eats the mouse. The rabbit is cold. The rabbit needs the cat. The rabbit needs the mouse. If the cat is red then the cat needs the lion. If something is cold and it needs the cat then the cat is nice. If something is blue and young then it likes the rabbit. If something is cold and it needs the mouse then it likes the mouse. If something needs the cat and the cat is nice then the cat is red. If something needs the lion then the lion needs the mouse. If something eats the cat then it likes the rabbit. If something is cold then it is red.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is young.
("cat" "is" "young" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If the cat is red then the cat needs the lion.
((("cat" "is" "red" "+")) -> ("cat" "needs" "lion" "+"))
If something is cold and it needs the cat then the cat is nice.
((("something" "is" "cold" "+") ("something" "needs" "cat" "+")) -> ("cat" "is" "nice" "+"))
If something is blue and young then it likes the rabbit.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "likes" "rabbit" "+"))
If something is cold and it needs the mouse then it likes the mouse.
((("something" "is" "cold" "+") ("something" "needs" "mouse" "+")) -> ("something" "likes" "mouse" "+"))
If something needs the cat and the cat is nice then the cat is red.
((("something" "needs" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "is" "red" "+"))
If something needs the lion then the lion needs the mouse.
((("something" "needs" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
If something eats the cat then it likes the rabbit.
((("something" "eats" "cat" "+")) -> ("something" "likes" "rabbit" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The cat eats the mouse.
True
1
proof
[(triple1)]
("cat" "eats" "mouse" "+")
triple1
The cat is not young.
False
1
inv-proof
[(triple2)]
("cat" "is" "young" "-")
triple2
The rabbit likes the mouse.
True
3
proof
[(((triple13 triple15) -> rule4))]
("rabbit" "likes" "mouse" "+")
((triple13 triple15) -> (rule4 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The lion does not like the mouse.
False
3
inv-proof
[(((triple5 triple8) -> rule4) OR ((triple5 ((((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4))]
("lion" "likes" "mouse" "-")
((triple5 triple8) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
((triple5 ((((((triple14 ((triple13 triple14) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple14 ((triple5 triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple7 ((triple13 triple14) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple7 ((triple5 triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
The cat is red.
True
5
proof
[(((triple14 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple14 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple7 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple7) -> rule2)) -> rule5))]
("cat" "is" "red" "+")
((triple14 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple14 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is not red.
False
5
inv-proof
[(((triple14 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple14 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple7 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple7) -> rule2)) -> rule5))]
("cat" "is" "red" "-")
((triple14 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple14 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat needs the lion.
True
6
proof
[(((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1))]
("cat" "needs" "lion" "+")
((((triple14 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple14 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat does not need the lion.
False
6
inv-proof
[(((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1))]
("cat" "needs" "lion" "-")
((((triple14 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple14 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The cat does not like the mouse.
Unknown
inv-rconc
[@1: The cat likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "mouse" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "likes" "mouse" "+")
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 mouse likes the lion.
Unknown
random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The cat eats the mouse.[(triple1)] The cat is young.[(triple2)] The lion eats the cat.[(triple3)] The lion eats the mouse.[(triple4)] The lion is cold.[(triple5)] The lion likes the cat.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the mouse.[(triple8 OR ((((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6))] The mouse eats the lion.[(triple9)] The mouse is cold.[(triple10)] The mouse likes the rabbit.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is cold.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The cat is nice.[(((triple13 triple14) -> rule2) OR ((triple5 triple7) -> rule2))] The lion is red.[(((triple5) -> rule8))] The lion likes the mouse.[(((triple5 triple8) -> rule4) OR ((triple5 ((((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1)) -> rule6)) -> rule4))] The lion likes the rabbit.[(((triple3) -> rule7))] The mouse is red.[(((triple10) -> rule8))] The rabbit is red.[(((triple13) -> rule8))] The rabbit likes the mouse.[(((triple13 triple15) -> rule4))] @2: The cat is red.[(((triple14 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple14 ((triple5 triple7) -> rule2)) -> rule5) OR ((triple7 ((triple13 triple14) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple7) -> rule2)) -> rule5))] @3: The cat needs the lion.[(((((triple14 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple14 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple13 triple14) -> rule2)) -> rule5)) -> rule1) OR ((((triple7 ((triple5 triple7) -> rule2)) -> rule5)) -> rule1))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The lion eats the cat.
("lion" "eats" "cat" "+")
triple3
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion likes the cat.
("lion" "likes" "cat" "+")
triple6
The lion needs the cat.
("lion" "needs" "cat" "+")
triple7
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple8
((((((triple14 ((triple13 triple14) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
((((((triple14 ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
((((((triple7 ((triple13 triple14) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
((((((triple7 ((triple5 triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The cat needs the lion.
("cat" "needs" "lion" "+")
int2
The cat is red.
("cat" "is" "red" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The cat is nice.
("cat" "is" "nice" "+")
((triple13 triple14) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple5 triple7) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple5) -> (rule8 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((triple5 triple8) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
((triple5 ((((((triple14 ((triple13 triple14) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple14 ((triple5 triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple7 ((triple13 triple14) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
((triple5 ((((((triple7 ((triple5 triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((triple3) -> (rule7 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((triple10) -> (rule8 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple13) -> (rule8 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((triple13 triple15) -> (rule4 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((triple14 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple14 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple13 triple14) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
((triple7 ((triple5 triple7) -> (rule2 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat needs the lion.
("cat" "needs" "lion" "+")
((((triple14 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple14 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple13 triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
((((triple7 ((triple5 triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3