The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel is young. Cold things are big.
The squirrel is big.
@0: The squirrel is big.[(triple1 OR ((triple2) -> rule1))] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)]