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