The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel is young. All rough things are young. If something is round then it is young.
The squirrel does not see the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2))]