The squirrel is not big. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is young. Cold, nice people are young.
The squirrel is nice.
@0: The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not big.[(triple1)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2 triple3) -> rule1))]