The cat is red. The dog is red. The squirrel chases the tiger. The tiger chases the dog. The tiger chases the squirrel. The tiger is nice. The tiger is red. If something is red then it eats the squirrel. If the dog is nice and the dog chases the tiger then the tiger visits the cat. If something is rough then it eats the tiger. If something chases the squirrel and the squirrel is red then the squirrel eats the dog. If something chases the cat then the cat is big. If something eats the squirrel then the squirrel is red. If something eats the squirrel and the squirrel eats the dog then it visits the squirrel. If something visits the dog and it is rough then it eats the dog.
The cat is red.
("cat" "is" "red" "+")
The dog is red.
("dog" "is" "red" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something is red then it eats the squirrel.
((("something" "is" "red" "+")) -> ("something" "eats" "squirrel" "+"))
If the dog is nice and the dog chases the tiger then the tiger visits the cat.
((("dog" "is" "nice" "+") ("dog" "chases" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
If something is rough then it eats the tiger.
((("something" "is" "rough" "+")) -> ("something" "eats" "tiger" "+"))
If something chases the squirrel and the squirrel is red then the squirrel eats the dog.
((("something" "chases" "squirrel" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "eats" "dog" "+"))
If something chases the cat then the cat is big.
((("something" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
If something eats the squirrel then the squirrel is red.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
If something eats the squirrel and the squirrel eats the dog then it visits the squirrel.
((("something" "eats" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the dog and it is rough then it eats the dog.
((("something" "visits" "dog" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "dog" "+"))
The squirrel chases the tiger.
True
1
proof
[(triple3)]
("squirrel" "chases" "tiger" "+")
triple3
The tiger does not chase the dog.
False
1
inv-proof
[(triple4)]
("tiger" "chases" "dog" "-")
triple4
The cat eats the squirrel.
True
2
proof
[(((triple1) -> rule1))]
("cat" "eats" "squirrel" "+")
((triple1) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat does not eat the squirrel.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "eats" "squirrel" "-")
((triple1) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel is red.
True
3
proof
[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple7) -> rule1)) -> rule6))]
("squirrel" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
The squirrel is not red.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple7) -> rule1)) -> rule6))]
("squirrel" "is" "red" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
The squirrel eats the dog.
True
5
proof
[(((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4))]
("squirrel" "eats" "dog" "+")
((triple5 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((triple5 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((triple5 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The squirrel does not eat the dog.
False
5
inv-proof
[(((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4))]
("squirrel" "eats" "dog" "-")
((triple5 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((triple5 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((triple5 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "dog" "-")
The cat eats the tiger.
Unknown
rconc
[@1: The cat eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "tiger" "+")
The tiger does not eat the dog.
Unknown
inv-rconc
[@1: The tiger eats the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "eats" "dog" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "big" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The tiger chases the cat.
Unknown
random
[@0: The tiger chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cat" "+")
The dog does not chase the tiger.
Unknown
inv-random
[@0: The dog chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "tiger" "-")
The dog visits the cat.
Unknown
random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "+")
@0: The cat is red.[(triple1)] The dog is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger chases the dog.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is nice.[(triple6)] The tiger is red.[(triple7)] @1: The cat eats the squirrel.[(((triple1) -> rule1))] The dog eats the squirrel.[(((triple2) -> rule1))] The tiger eats the squirrel.[(((triple7) -> rule1))] @2: The squirrel is red.[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule1)) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] @3: The squirrel eats the dog.[(((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4) OR ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4))] The squirrel eats the squirrel.[(((((((triple1) -> rule1)) -> rule6)) -> rule1) OR ((((((triple2) -> rule1)) -> rule6)) -> rule1) OR ((((((triple7) -> rule1)) -> rule6)) -> rule1))] @4: The cat visits the squirrel.[(((((triple1) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple1) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple1) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The dog visits the squirrel.[(((((triple2) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The squirrel visits the squirrel.[(((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule6)) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))] The tiger visits the squirrel.[(((((triple7) -> rule1) ((triple5 ((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple7) -> rule1) ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule7) OR ((((triple7) -> rule1) ((triple5 ((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))]
The cat is red.
("cat" "is" "red" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger is nice.
("tiger" "is" "nice" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((triple1) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple2) -> (rule1 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
((triple7) -> (rule1 % int1))
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int2
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int2
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
((triple5 ((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((triple5 ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((triple5 ((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
((((((triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
((((triple1) -> (rule1 % int4)) ((triple5 ((((triple1) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
((((triple1) -> (rule1 % int5)) ((triple5 ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int5
((((triple1) -> (rule1 % int5)) ((triple5 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int5
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
((((triple2) -> (rule1 % int5)) ((triple5 ((((triple1) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((((triple2) -> (rule1 % int4)) ((triple5 ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
((((triple2) -> (rule1 % int5)) ((triple5 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((((((((triple1) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple5 ((((triple1) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int5
((((((((triple1) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple2) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int6
((((((((triple1) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple7) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int6
((((((((triple2) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple1) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((((((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple5 ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int5
((((((((triple2) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple7) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int6
((((((((triple7) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple1) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int6
((((((((triple7) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule1 % int4)) ((triple5 ((((triple2) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int3
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int6
((((((((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple5 ((((triple7) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int5
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
((((triple7) -> (rule1 % int5)) ((triple5 ((((triple1) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int4
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int5
((((triple7) -> (rule1 % int5)) ((triple5 ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int4
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int5
((((triple7) -> (rule1 % int4)) ((triple5 ((((triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
int4