The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is young. All blue things are nice. All young things are nice.
The squirrel needs the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)]