The squirrel is not blue. The squirrel is cold. The squirrel is not nice. The squirrel is rough. The squirrel is young. Nice, cold things are young. If something is rough and cold then it is young. Nice, rough things are young. Cold things are young. If the squirrel is cold then the squirrel is young. If something is rough and not young then it is blue.
The squirrel is not young.
@0: The squirrel is cold.[(triple2)] The squirrel is not blue.[(triple1)] The squirrel is not nice.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule4) OR ((triple2) -> rule5) OR ((triple4 triple2) -> rule2))]