The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is rough. All cold people are rough.
The squirrel does not need the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5 OR ((triple2) -> rule1))]