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