The squirrel is round. Young things are nice. If something is round and not young then it is rough. Round things are rough. Young things are not round. Nice, young things are round. If something is nice and not round then it is cold. If something is nice and young then it is cold. All nice, round things are cold.
The squirrel is not round.
@0: The squirrel is round.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule3))]