The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is young. If something is cold then it is rough. If the squirrel is rough and the squirrel is red then the squirrel is young. Green, red things are young. If something is cold and rough then it is young. If something is young then it is red. Rough things are green.
The squirrel chases the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2 OR ((triple4) -> rule6) OR ((((triple1) -> rule1)) -> rule6))] The squirrel is red.[(triple3 OR ((triple5) -> rule5) OR ((((triple1 triple4) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule5))] The squirrel is rough.[(triple4 OR ((triple1) -> rule1))] The squirrel is young.[(triple5 OR ((triple1 triple4) -> rule4) OR ((triple2 triple3) -> rule3) OR ((triple4 triple3) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((triple4) -> rule6) triple3) -> rule3) OR ((((((triple1) -> rule1)) -> rule6) triple3) -> rule3))]