The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. If the squirrel is round then the squirrel is cold.
The squirrel is not kind.
@0: The squirrel is cold.[(triple1 OR ((triple4) -> rule1))] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5)]