The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is round. The squirrel is young. If something is blue then it is cold.
The squirrel is not cold.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple2) -> rule1))] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)]