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 does not visit the squirrel.
@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)]