The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is red. Red, big people are nice.
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 nice.[(triple4 OR ((triple5 triple1) -> rule1))] The squirrel is red.[(triple5)]