The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel is young. Round things are young. All round things are cold.
The squirrel is cold.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2 OR ((triple4) -> rule2))] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple4) -> rule1))]