Anne is rough. Bob is young. Charlie is nice. Erin is smart. All furry, nice people are rough. Nice people are furry.
Anne is not nice.
@0: Anne is rough.[(triple1)] Bob is young.[(triple2)] Charlie is nice.[(triple3)] Erin is smart.[(triple4)] @1: Charlie is furry.[(((triple3) -> rule2))] @2: Charlie is rough.[(((((triple3) -> rule2) triple3) -> rule1))]