The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is young. Blue, green things are young. Cold things are young.
The squirrel does not chase the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule2) OR ((triple1 triple3) -> rule1))]