Anne is rough. Charlie is young. Fiona is quiet. Rough, round things are smart. All young things are quiet. White, young things are round. If something is white and nice then it is young. If something is round then it is rough. All quiet, young things are round.
Anne is not white.
@0: Anne is rough.[(triple1)] Charlie is young.[(triple2)] Fiona is quiet.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule2))] @2: Charlie is round.[(((((triple2) -> rule2) triple2) -> rule6))] @3: Charlie is rough.[(((((((triple2) -> rule2) triple2) -> rule6)) -> rule5))] @4: Charlie is smart.[(((((((((triple2) -> rule2) triple2) -> rule6)) -> rule5) ((((triple2) -> rule2) triple2) -> rule6)) -> rule1))]