The bear eats the cat. The bear needs the cow. The bear visits the cat. The cat eats the rabbit. The cat needs the cow. The cat needs the rabbit. The cat visits the cow. The cow eats the rabbit. The cow needs the cat. The cow needs the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is red. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the cow. If something visits the cow and the cow is blue then it eats the bear. If something needs the rabbit and the rabbit needs the cow then it visits the cow. If something visits the cow then it is blue. If something eats the cat and it eats the bear then the cat is big. If something needs the bear then it visits the rabbit. If something is blue then it needs the cow. If something eats the rabbit then the rabbit needs the cow.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something visits the cow and the cow is blue then it eats the bear.
((("something" "visits" "cow" "+") ("cow" "is" "blue" "+")) -> ("something" "eats" "bear" "+"))
If something needs the rabbit and the rabbit needs the cow then it visits the cow.
((("something" "needs" "rabbit" "+") ("rabbit" "needs" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something visits the cow then it is blue.
((("something" "visits" "cow" "+")) -> ("something" "is" "blue" "+"))
If something eats the cat and it eats the bear then the cat is big.
((("something" "eats" "cat" "+") ("something" "eats" "bear" "+")) -> ("cat" "is" "big" "+"))
If something needs the bear then it visits the rabbit.
((("something" "needs" "bear" "+")) -> ("something" "visits" "rabbit" "+"))
If something is blue then it needs the cow.
((("something" "is" "blue" "+")) -> ("something" "needs" "cow" "+"))
If something eats the rabbit then the rabbit needs the cow.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "needs" "cow" "+"))
The cow needs the rabbit.
True
1
proof
[(triple10)]
("cow" "needs" "rabbit" "+")
triple10
The rabbit is not red.
False
1
inv-proof
[(triple13)]
("rabbit" "is" "red" "-")
triple13
The rabbit is blue.
True
2
proof
[(((triple16) -> rule3))]
("rabbit" "is" "blue" "+")
((triple16) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit does not need the cow.
False
2
inv-proof
[(((triple4) -> rule7) OR ((triple8) -> rule7) OR ((((triple16) -> rule3)) -> rule6))]
("rabbit" "needs" "cow" "-")
((triple4) -> (rule7 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
((triple8) -> (rule7 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
((((triple16) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The cow visits the cow.
True
4
proof
[(((triple10 ((triple4) -> rule7)) -> rule2) OR ((triple10 ((triple8) -> rule7)) -> rule2) OR ((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2))]
("cow" "visits" "cow" "+")
((triple10 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((triple8) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((((triple16) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow does not visit the cow.
False
4
inv-proof
[(((triple10 ((triple4) -> rule7)) -> rule2) OR ((triple10 ((triple8) -> rule7)) -> rule2) OR ((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2))]
("cow" "visits" "cow" "-")
((triple10 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((triple8) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((((triple16) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow is blue.
True
5
proof
[(((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3))]
("cow" "is" "blue" "+")
((((triple10 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((((triple16) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The cow is not blue.
False
5
inv-proof
[(((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3))]
("cow" "is" "blue" "-")
((((triple10 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((((triple16) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The rabbit eats the bear.
True
7
proof
[(((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("rabbit" "eats" "bear" "+")
((triple16 ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit does not eat the bear.
False
7
inv-proof
[(((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1))]
("rabbit" "eats" "bear" "-")
((triple16 ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The cat is big.
True
9
proof
[(((triple11 ((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4))]
("cat" "is" "big" "+")
((triple11 ((triple16 ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
The cat is not big.
False
9
inv-proof
[(((triple11 ((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4))]
("cat" "is" "big" "-")
((triple11 ((triple16 ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
The bear does not eat the bear.
Unknown
inv-rconc
[@2: The bear eats the bear.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bear" "eats" "bear" "-")
The cow visits the rabbit.
Unknown
rconc
[@1: The cow visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "visits" "rabbit" "+")
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The bear is blue.
Unknown
rconc
[@2: The bear is blue.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bear" "is" "blue" "+")
The bear does not visit the rabbit.
Unknown
inv-rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "rabbit" "-")
The bear visits the cow.
Unknown
rconc
[@1: The bear visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "cow" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The cat does not visit the bear.
Unknown
inv-random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear eats the cat.[(triple1)] The bear needs the cow.[(triple2)] The bear visits the cat.[(triple3)] The cat eats the rabbit.[(triple4)] The cat needs the cow.[(triple5 OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple6 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule6))] The cat needs the rabbit.[(triple6)] The cat visits the cow.[(triple7 OR ((triple6 ((triple4) -> rule7)) -> rule2) OR ((triple6 ((triple8) -> rule7)) -> rule2) OR ((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2))] The cow eats the rabbit.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the rabbit.[(triple10)] The rabbit eats the cat.[(triple11)] The rabbit is big.[(triple12)] The rabbit is red.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cat is blue.[(((triple7) -> rule3) OR ((((triple6 ((triple4) -> rule7)) -> rule2)) -> rule3) OR ((((triple6 ((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3))] The rabbit is blue.[(((triple16) -> rule3))] The rabbit needs the cow.[(((triple4) -> rule7) OR ((triple8) -> rule7) OR ((((triple16) -> rule3)) -> rule6))] @2: The cow visits the cow.[(((triple10 ((triple4) -> rule7)) -> rule2) OR ((triple10 ((triple8) -> rule7)) -> rule2) OR ((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2))] @3: The cow is blue.[(((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3))] @4: The cat eats the bear.[(((triple7 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple7 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple4) -> rule7)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple4) -> rule7)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple8) -> rule7)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple8) -> rule7)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple7 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple4) -> rule7)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((triple8) -> rule7)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple6 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1))] The cow eats the bear.[(((((triple10 ((triple4) -> rule7)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((triple4) -> rule7)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((triple8) -> rule7)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((triple8) -> rule7)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((triple4) -> rule7)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((triple8) -> rule7)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2) ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1))] The cow needs the cow.[(((((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule6) OR ((((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule6))] The rabbit eats the bear.[(((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1) OR ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1))] @5: The cat is big.[(((triple11 ((triple16 ((((triple10 ((triple4) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((triple8) -> rule7)) -> rule2)) -> rule3)) -> rule1)) -> rule4) OR ((triple11 ((triple16 ((((triple10 ((((triple16) -> rule3)) -> rule6)) -> rule2)) -> rule3)) -> rule1)) -> rule4))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat needs the cow.
("cat" "needs" "cow" "+")
triple5
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
((((((triple6 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat visits the cow.
("cat" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((((triple6 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat visits the cow.
("cat" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((((triple6 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat needs the cow.
("cat" "needs" "cow" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat visits the cow.
("cat" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple6
The cat visits the cow.
("cat" "visits" "cow" "+")
triple7
((triple6 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple6 ((triple8) -> (rule7 % int2))) -> (rule2 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple6 ((((triple16) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple8
The cow needs the cat.
("cow" "needs" "cat" "+")
triple9
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple10
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The cat is blue.
("cat" "is" "blue" "+")
((triple7) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((((triple6 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple6 ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple6 ((((triple16) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple16) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
((triple4) -> (rule7 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
((triple8) -> (rule7 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
((((triple16) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple10 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((triple8) -> (rule7 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
((triple10 ((((triple16) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
((((triple10 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
((((triple10 ((((triple16) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
int2
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The cat eats the bear.
("cat" "eats" "bear" "+")
((triple7 ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple7 ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((triple6 ((triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple6 ((triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple6 ((triple8) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple6 ((triple8) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple6 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
((((triple6 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
((triple7 ((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple6 ((triple4) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple10 ((((triple16) -> (rule3 % int4))) -> (rule6 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The cat visits the cow.
("cat" "visits" "cow" "+")
int5
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int6
((((triple6 ((triple8) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple10 ((((triple16) -> (rule3 % int4))) -> (rule6 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit is blue.
("rabbit" "is" "blue" "+")
int4
The cat visits the cow.
("cat" "visits" "cow" "+")
int5
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int6
((((triple6 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple10 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The cat visits the cow.
("cat" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6
The cow eats the bear.
("cow" "eats" "bear" "+")
((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((((triple16) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple10 ((((triple16) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The cow needs the cow.
("cow" "needs" "cow" "+")
((((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
((triple16 ((((triple10 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
((triple16 ((((triple10 ((((triple16) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
int3
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int4
The rabbit is blue.
("rabbit" "is" "blue" "+")
int5
The cat is big.
("cat" "is" "big" "+")
((triple11 ((triple16 ((((triple10 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
((triple11 ((triple16 ((((triple10 ((((triple16) -> (rule3 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow visits the cow.
("cow" "visits" "cow" "+")
int4
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
int5
The rabbit is blue.
("rabbit" "is" "blue" "+")
int6