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