The squirrel is blue. The squirrel is green. The squirrel is young. If something is blue and rough then it is big. If something is green and big then it is rough. All rough, green things are young. If the squirrel is young and the squirrel is rough then the squirrel is green. If something is green then it is young. If something is young then it is green.
The squirrel visits the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is green.[(triple2 OR ((triple3) -> rule6))] The squirrel is young.[(triple3 OR ((triple2) -> rule5))]