The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel is young. If the squirrel is round and the squirrel is blue then the squirrel is young.
The squirrel sees the squirrel.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is green.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple4 triple1) -> rule1))]