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