The squirrel is young. All young, big things are round. Young things are rough. If the squirrel is kind and the squirrel is round then the squirrel is young. If the squirrel is young and the squirrel is round then the squirrel is kind. All big, young things are kind. If something is round then it is kind.
The squirrel is not round.
@0: The squirrel is young.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule2))]