The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. All round, green things are big. If something is nice and round then it is young. If the squirrel is round then the squirrel is green. If the squirrel is young and the squirrel is nice then the squirrel is green. If the squirrel is green then the squirrel is nice. If the squirrel is green then the squirrel is young. If the squirrel is nice then the squirrel is young. If something is young then it is round.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
All round, green things are big.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is nice and round then it is young.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If the squirrel is round then the squirrel is green.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel is young and the squirrel is nice then the squirrel is green.
((("squirrel" "is" "young" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "green" "+"))
If the squirrel is green then the squirrel is nice.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "nice" "+"))
If the squirrel is green then the squirrel is young.
((("squirrel" "is" "green" "+")) -> ("squirrel" "is" "young" "+"))
If the squirrel is nice then the squirrel is young.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "young" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
The squirrel is nice.
True
1
proof
[(triple3 OR ((triple2) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3)) -> rule5))]
("squirrel" "is" "nice" "+")
triple3
((triple2) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is not big.
False
1
inv-proof
[(triple1 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((triple4 ((triple5 triple3) -> rule4)) -> rule1) OR ((((triple5) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((triple4 ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((triple4 ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) triple2) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((triple5) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((triple4 ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1))]
("squirrel" "is" "big" "-")
triple1
((triple4 triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple4 ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple5) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple4 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple4 ((((triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((triple4 ((((triple3 triple4) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((((triple5) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((triple5) -> (rule8 % int4)) ((((triple3 triple4) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((triple4 ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
((((triple5) -> (rule8 % int4)) ((((((triple3) -> (rule7 % int3))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is big.[(triple1 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((triple4 ((triple5 triple3) -> rule4)) -> rule1) OR ((((triple5) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((triple4 ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((triple4 ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((triple4 ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) triple2) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((triple5) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((triple5) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((triple4 ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) triple2) -> rule1) OR ((((triple5) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((triple4) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((triple5 triple3) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((triple3) -> rule7)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple5) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple3) -> rule7) triple3) -> rule4)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((triple3 triple4) -> rule2) triple3) -> rule4)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule8) ((((((triple3) -> rule7)) -> rule8)) -> rule3)) -> rule1))] The squirrel is green.[(triple2 OR ((triple4) -> rule3) OR ((triple5 triple3) -> rule4) OR ((((triple5) -> rule8)) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule4) OR ((((triple3 triple4) -> rule2) triple3) -> rule4) OR ((((((triple3) -> rule7)) -> rule8)) -> rule3))] The squirrel is nice.[(triple3 OR ((triple2) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule3)) -> rule5))] The squirrel is round.[(triple4 OR ((triple5) -> rule8) OR ((((triple2) -> rule6)) -> rule8) OR ((((triple3) -> rule7)) -> rule8) OR ((((((triple2) -> rule5)) -> rule7)) -> rule8))] The squirrel is young.[(triple5 OR ((triple2) -> rule6) OR ((triple3) -> rule7) OR ((triple3 triple4) -> rule2) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple4) -> rule3)) -> rule6) OR ((((triple2) -> rule5) triple4) -> rule2) OR ((((((triple4) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule3)) -> rule5) triple4) -> rule2))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple4 triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple4 ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple5) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple4 ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((triple4 ((((triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((triple4 ((((triple3 triple4) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
((((triple5) -> (rule8 % int4)) ((((triple3) -> (rule7 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((triple5) -> (rule8 % int4)) ((((triple3 triple4) -> (rule2 % int3)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((triple4 ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
int4
((((triple5) -> (rule8 % int4)) ((((((triple3) -> (rule7 % int3))) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5 triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((triple2) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((triple3) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule7 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple3 triple4) -> (rule2 % int4)) triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
((((((((triple2) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
int4
The squirrel is nice.
("squirrel" "is" "nice" "+")
int5
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple4) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((triple5 triple3) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple3 triple4) -> (rule2 % int2)) triple3) -> (rule4 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
int3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
((triple2) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
((triple5) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple3) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple3 triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple2) -> (rule5 % int2)) triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3