The bear is green. The cat eats the rabbit. The cat is big. The cat is red. The cat needs the rabbit. The rabbit needs the tiger. The tiger is big. The tiger is nice. The tiger is rough. The tiger likes the bear. If someone is red and they like the rabbit then they need the cat. If someone likes the rabbit then the rabbit is red. If someone likes the bear then they like the tiger. If the rabbit needs the cat and the rabbit likes the tiger then the cat likes the tiger. If someone eats the rabbit and they are red then the rabbit likes the bear. If someone needs the tiger and the tiger is red then they need the rabbit. If someone needs the rabbit and they are rough then the rabbit is red. If the cat needs the tiger and the cat likes the rabbit then the tiger eats the rabbit. If someone likes the tiger then they like the rabbit.
The bear is green.
("bear" "is" "green" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If someone is red and they like the rabbit then they need the cat.
((("someone" "is" "red" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "needs" "cat" "+"))
If someone likes the rabbit then the rabbit is red.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
If someone likes the bear then they like the tiger.
((("someone" "likes" "bear" "+")) -> ("someone" "likes" "tiger" "+"))
If the rabbit needs the cat and the rabbit likes the tiger then the cat likes the tiger.
((("rabbit" "needs" "cat" "+") ("rabbit" "likes" "tiger" "+")) -> ("cat" "likes" "tiger" "+"))
If someone eats the rabbit and they are red then the rabbit likes the bear.
((("someone" "eats" "rabbit" "+") ("someone" "is" "red" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone needs the tiger and the tiger is red then they need the rabbit.
((("someone" "needs" "tiger" "+") ("tiger" "is" "red" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the rabbit and they are rough then the rabbit is red.
((("someone" "needs" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("rabbit" "is" "red" "+"))
If the cat needs the tiger and the cat likes the rabbit then the tiger eats the rabbit.
((("cat" "needs" "tiger" "+") ("cat" "likes" "rabbit" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone likes the tiger then they like the rabbit.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "rabbit" "+"))
The tiger likes the bear.
True
1
proof
[(triple10)]
("tiger" "likes" "bear" "+")
triple10
The cat is not big.
False
1
inv-proof
[(triple3)]
("cat" "is" "big" "-")
triple3
The rabbit likes the bear.
True
3
proof
[(((triple2 triple4) -> rule5))]
("rabbit" "likes" "bear" "+")
((triple2 triple4) -> (rule5 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The tiger does not like the tiger.
False
2
inv-proof
[(((triple10) -> rule3))]
("tiger" "likes" "tiger" "-")
((triple10) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger likes the rabbit.
True
3
proof
[(((((triple10) -> rule3)) -> rule9))]
("tiger" "likes" "rabbit" "+")
((((triple10) -> (rule3 % int2))) -> (rule9 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The rabbit does not like the tiger.
False
4
inv-proof
[(((((triple2 triple4) -> rule5)) -> rule3))]
("rabbit" "likes" "tiger" "-")
((((triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The rabbit likes the rabbit.
True
5
proof
[(((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9))]
("rabbit" "likes" "rabbit" "+")
((((((triple2 triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int3
The rabbit is not red.
False
4
inv-proof
[(((((((triple10) -> rule3)) -> rule9)) -> rule2) OR ((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2))]
("rabbit" "is" "red" "-")
((((((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
((((((((triple2 triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int4
The rabbit needs the cat.
True
10
proof
[(((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
("rabbit" "needs" "cat" "+")
((((((((triple10) -> (rule3 % int7))) -> (rule9 % int6))) -> (rule2 % int5)) ((((((triple2 triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int6
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int7
((((((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The rabbit does not need the cat.
False
10
inv-proof
[(((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1))]
("rabbit" "needs" "cat" "-")
((((((((triple10) -> (rule3 % int7))) -> (rule9 % int6))) -> (rule2 % int5)) ((((((triple2 triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int6
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int7
((((((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The cat likes the tiger.
True
15
proof
[(((((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4) OR ((((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4))]
("cat" "likes" "tiger" "+")
((((((((((triple10) -> (rule3 % int8))) -> (rule9 % int7))) -> (rule2 % int6)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The rabbit is red.
("rabbit" "is" "red" "+")
int6
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int7
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int8
((((((((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int6
The cat does not like the tiger.
False
15
inv-proof
[(((((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4) OR ((((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4))]
("cat" "likes" "tiger" "-")
((((((((((triple10) -> (rule3 % int8))) -> (rule9 % int7))) -> (rule2 % int6)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The rabbit is red.
("rabbit" "is" "red" "+")
int6
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int7
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int8
((((((((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int6
The bear does not need the rabbit.
Unknown
inv-rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "rabbit" "-")
The tiger needs the rabbit.
Unknown
rconc
[@1: The tiger needs the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "needs" "rabbit" "+")
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@1: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The bear does not like the tiger.
Unknown
inv-rconc
[@1: The bear likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "likes" "tiger" "-")
The tiger needs the cat.
Unknown
rconc
[@1: The tiger needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "needs" "cat" "+")
The bear does not eat the tiger.
Unknown
inv-random
[@0: The bear eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "tiger" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bear is green.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is red.[(triple4)] The cat needs the rabbit.[(triple5)] The rabbit needs the tiger.[(triple6)] The tiger is big.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the bear.[(triple10)] @1: The rabbit likes the bear.[(((triple2 triple4) -> rule5))] The tiger likes the tiger.[(((triple10) -> rule3))] @2: The rabbit likes the tiger.[(((((triple2 triple4) -> rule5)) -> rule3))] The tiger likes the rabbit.[(((((triple10) -> rule3)) -> rule9))] @3: The rabbit is red.[(((((((triple10) -> rule3)) -> rule9)) -> rule2) OR ((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2))] The rabbit likes the rabbit.[(((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9))] @4: The rabbit needs the cat.[(((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) OR ((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1))] @5: The cat likes the tiger.[(((((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4) OR ((((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4))] @6: The cat likes the rabbit.[(((((((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4)) -> rule9) OR ((((((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4)) -> rule9))] @7: The cat needs the cat.[(((triple4 ((((((((((((triple10) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4)) -> rule9)) -> rule1) OR ((triple4 ((((((((((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule2) ((((((triple2 triple4) -> rule5)) -> rule3)) -> rule9)) -> rule1) ((((triple2 triple4) -> rule5)) -> rule3)) -> rule4)) -> rule9)) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple10
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple2 triple4) -> (rule5 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple10) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((((triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((((triple10) -> (rule3 % int2))) -> (rule9 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((((((triple10) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
((((((((triple2 triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((((triple2 triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int3
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
((((((((triple10) -> (rule3 % int7))) -> (rule9 % int6))) -> (rule2 % int5)) ((((((triple2 triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int6
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int7
((((((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((((((((((triple10) -> (rule3 % int8))) -> (rule9 % int7))) -> (rule2 % int6)) ((((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int4
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int5
The rabbit is red.
("rabbit" "is" "red" "+")
int6
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int7
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int8
((((((((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3)) ((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule1 % int2)) ((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule4 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int6
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
((((((((((((triple10) -> (rule3 % int9))) -> (rule9 % int8))) -> (rule2 % int7)) ((((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule1 % int3)) ((((triple2 triple4) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule4 % int2))) -> (rule9 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int3
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int4
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int6
The rabbit is red.
("rabbit" "is" "red" "+")
int7
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int8
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int9
((((((((((((((triple2 triple4) -> (rule5 % int7))) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule2 % int4)) ((((((triple2 triple4) -> (rule5 % int7))) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule1 % int3)) ((((triple2 triple4) -> (rule5 % int7))) -> (rule3 % int6))) -> (rule4 % int2))) -> (rule9 % int1))
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int2
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int7
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple4 ((((((((((((triple10) -> (rule3 % int10))) -> (rule9 % int9))) -> (rule2 % int8)) ((((((triple2 triple4) -> (rule5 % int7))) -> (rule3 % int6))) -> (rule9 % int5))) -> (rule1 % int4)) ((((triple2 triple4) -> (rule5 % int7))) -> (rule3 % int6))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int10
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int3
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int4
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int5
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int6
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int7
The rabbit is red.
("rabbit" "is" "red" "+")
int8
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int9
((triple4 ((((((((((((((triple2 triple4) -> (rule5 % int8))) -> (rule3 % int7))) -> (rule9 % int6))) -> (rule2 % int5)) ((((((triple2 triple4) -> (rule5 % int8))) -> (rule3 % int7))) -> (rule9 % int6))) -> (rule1 % int4)) ((((triple2 triple4) -> (rule5 % int8))) -> (rule3 % int7))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
int2
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int3
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int4
The rabbit is red.
("rabbit" "is" "red" "+")
int5
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int6
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int7
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int8