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 eats the 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))]