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