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 is green.
@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))]