The bear eats the cat. The bear needs the cat. The bear visits the cat. The cat eats the bear. The cat is big. The cat is cold. The cat is green. The cat is round. The cat needs the bear. The cat visits the bear. If someone eats the bear then the bear needs the cat. If someone visits the cat then they eat the cat. If someone needs the bear then they need the cat. If the bear is round then the bear is big. If someone eats the cat then the cat needs the bear. If someone needs the cat then they visit the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If someone eats the bear then the bear needs the cat.
((("someone" "eats" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If someone visits the cat then they eat the cat.
((("someone" "visits" "cat" "+")) -> ("someone" "eats" "cat" "+"))
If someone needs the bear then they need the cat.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "cat" "+"))
If the bear is round then the bear is big.
((("bear" "is" "round" "+")) -> ("bear" "is" "big" "+"))
If someone eats the cat then the cat needs the bear.
((("someone" "eats" "cat" "+")) -> ("cat" "needs" "bear" "+"))
If someone needs the cat then they visit the cat.
((("someone" "needs" "cat" "+")) -> ("someone" "visits" "cat" "+"))
The cat is cold.
True
1
proof
[(triple6)]
("cat" "is" "cold" "+")
triple6
The bear does not eat the cat.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6)) -> rule2))]
("bear" "eats" "cat" "-")
triple1
((triple3) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
int3
The cat needs the cat.
True
2
proof
[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3))]
("cat" "needs" "cat" "+")
((triple9) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
The bear needs the cat.
("bear" "needs" "cat" "+")
int5
The cat does not need the cat.
False
2
inv-proof
[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3))]
("cat" "needs" "cat" "-")
((triple9) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
The bear needs the cat.
("bear" "needs" "cat" "+")
int5
The cat visits the cat.
True
3
proof
[(((((triple9) -> rule3)) -> rule6) OR ((((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6))]
("cat" "visits" "cat" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
((((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
((((((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
The bear needs the cat.
("bear" "needs" "cat" "+")
int6
The cat does not visit the cat.
False
3
inv-proof
[(((((triple9) -> rule3)) -> rule6) OR ((((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6))]
("cat" "visits" "cat" "-")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
((((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
((((((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
The bear needs the cat.
("bear" "needs" "cat" "+")
int6
The cat eats the cat.
True
4
proof
[(((((((triple9) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2))]
("cat" "eats" "cat" "+")
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
((((((((((((triple2) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
((((((((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
The bear needs the cat.
("bear" "needs" "cat" "+")
int7
The cat does not eat the cat.
False
4
inv-proof
[(((((((triple9) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2))]
("cat" "eats" "cat" "-")
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
((((((((((((triple2) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
((((((((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
The bear needs the cat.
("bear" "needs" "cat" "+")
int7
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "big" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear eats the cat.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6)) -> rule2))] The bear needs the cat.[(triple2 OR ((triple4) -> rule1))] The bear visits the cat.[(triple3 OR ((triple2) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] The cat eats the bear.[(triple4)] The cat is big.[(triple5)] The cat is cold.[(triple6)] The cat is green.[(triple7)] The cat is round.[(triple8)] The cat needs the bear.[(triple9 OR ((triple1) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5))] The cat visits the bear.[(triple10)] @1: The cat needs the cat.[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3))] @2: The cat visits the cat.[(((((triple9) -> rule3)) -> rule6) OR ((((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6))] @3: The cat eats the cat.[(((((((triple9) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
((triple3) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
int3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
((triple4) -> (rule1 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
((triple2) -> (rule6 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is green.
("cat" "is" "green" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
((triple1) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The bear eats the cat.
("bear" "eats" "cat" "+")
int2
The bear visits the cat.
("bear" "visits" "cat" "+")
int3
The bear needs the cat.
("bear" "needs" "cat" "+")
int4
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple9) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The bear eats the cat.
("bear" "eats" "cat" "+")
int3
The bear visits the cat.
("bear" "visits" "cat" "+")
int4
The bear needs the cat.
("bear" "needs" "cat" "+")
int5
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple9) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
((((((((((triple2) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
((((((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The bear eats the cat.
("bear" "eats" "cat" "+")
int4
The bear visits the cat.
("bear" "visits" "cat" "+")
int5
The bear needs the cat.
("bear" "needs" "cat" "+")
int6
The cat eats the cat.
("cat" "eats" "cat" "+")
((((((triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
((((((((((triple3) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
((((((((((((triple2) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
((((((((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear eats the cat.
("bear" "eats" "cat" "+")
int5
The bear visits the cat.
("bear" "visits" "cat" "+")
int6
The bear needs the cat.
("bear" "needs" "cat" "+")
int7