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