The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. All big things are green.
The squirrel does not eat the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is green.[(triple4 OR ((triple1) -> rule1))] The squirrel is round.[(triple5)]