The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. If someone is rough and cold then they are young.
The squirrel eats the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple4 triple1) -> rule1))]