The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel is young. Green, rough things are round. If the squirrel is green then the squirrel is young. Round things are green.
The squirrel does not need the squirrel.
@0: The squirrel is green.[(triple1 OR ((triple4) -> rule3))] The squirrel is kind.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4 OR ((triple1 triple3) -> rule1))] The squirrel is young.[(triple5 OR ((triple1) -> rule2) OR ((((triple4) -> rule3)) -> rule2))]