Erin is furry. Gary is quiet. Harry is red. Quiet, kind people are round. All furry, quiet people are kind. All quiet people are kind. If Gary is young and Gary is round then Gary is red. Big, round people are young. If Gary is young and Gary is big then Gary is kind. If someone is quiet and kind then they are young. Big people are round.
Gary is not kind.
@0: Erin is furry.[(triple1)] Gary is quiet.[(triple2)] Harry is red.[(triple3)] @1: Gary is kind.[(((triple2) -> rule3))] @2: Gary is round.[(((triple2 ((triple2) -> rule3)) -> rule1))] Gary is young.[(((triple2 ((triple2) -> rule3)) -> rule7))] @3: Gary is red.[(((((triple2 ((triple2) -> rule3)) -> rule7) ((triple2 ((triple2) -> rule3)) -> rule1)) -> rule4))]