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