The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is round. If the squirrel is big then the squirrel is round.
The squirrel needs the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is round.[(triple5 OR ((triple1) -> rule1))]