The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. If someone is nice and red then they are young.
The squirrel does not see 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 ((triple2 triple3) -> rule1))]