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