The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. Big people are cold.
The squirrel is not blue.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple1) -> rule1))] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)]