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