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 needs the squirrel.
@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))]