The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is young. If the squirrel is blue and the squirrel is rough then the squirrel is nice. Nice people are young.
The squirrel does not like the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3 OR ((triple1 triple4) -> rule1))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))]