The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. If the squirrel is red then the squirrel is green. Red people are kind. If someone is big then they are red. Kind, green people are red. If someone is big then they are red. Green, big people are rough. If someone is green then they are red. If someone is kind and red then they are big.
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If the squirrel is red then the squirrel is green.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "green" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Kind, green people are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Green, big people are rough.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and red then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
The squirrel is kind.
True
1
proof
[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule7)) -> rule2))]
("squirrel" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not red.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule3) OR ((triple1) -> rule5) OR ((triple2) -> rule7) OR ((triple3 triple2) -> rule4))]
("squirrel" "is" "red" "-")
triple4
((triple1) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple1) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple2) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple3 triple2) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "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 ((triple3 triple4) -> rule8) OR ((triple3 ((triple2) -> rule7)) -> rule8) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8) OR ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8))] The squirrel is green.[(triple2 OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] The squirrel is kind.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] The squirrel is red.[(triple4 OR ((triple1) -> rule3) OR ((triple1) -> rule5) OR ((triple2) -> rule7) OR ((triple3 triple2) -> rule4))] The squirrel is rough.[(triple5 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3 triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) triple1) -> rule6) OR ((((triple4) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((triple2 ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((triple2 ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule6) OR ((triple2 ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6))]
The squirrel is big.
("squirrel" "is" "big" "+")
triple1
((triple3 triple4) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
((triple3 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((triple3 ((triple3 triple2) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple4) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((triple4) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) ((triple2) -> (rule7 % int3))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2)) ((triple3 triple2) -> (rule4 % int3))) -> (rule8 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple4) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
((triple4) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple4
((triple1) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple1) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple2) -> (rule7 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
((triple3 triple2) -> (rule4 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
((triple2 triple1) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple2 ((triple3 triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
((((triple4) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple3 triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((triple2 ((triple3 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple2 ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple2 ((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
((triple2 ((((triple4) -> (rule2 % int4)) ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((triple2 ((((triple4) -> (rule2 % int4)) ((triple3 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
((((triple4) -> (rule1 % int4)) ((triple3 ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
((((triple4) -> (rule1 % int4)) ((triple3 ((triple3 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
((((triple4) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((triple1) -> (rule5 % int4))) -> (rule1 % int3)) ((triple3 triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((triple4) -> (rule1 % int5)) ((((triple4) -> (rule2 % int4)) ((triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((triple4) -> (rule1 % int5)) ((((triple4) -> (rule2 % int4)) ((triple3 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is kind.
("squirrel" "is" "kind" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int4))) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((triple1) -> (rule5 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple2) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) ((triple2) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) ((triple2) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((triple4) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((triple2 ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((triple2) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((triple4) -> (rule1 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
int4
The squirrel is green.
("squirrel" "is" "green" "+")
int5
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) triple4) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) ((triple2) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule3 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) ((triple2) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5
((((((triple1) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int3)) ((triple3 triple2) -> (rule4 % int5))) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is red.
("squirrel" "is" "red" "+")
int5