The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. Green things are young. If something is red then it is big. If something is kind then it is green.
The squirrel needs the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple4) -> rule2))] The squirrel is green.[(triple2 OR ((triple3) -> rule3))] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))]