Gary is furry. Gary is red. Harry is not furry. If something is big then it is quiet. Quiet things are young. Furry things are not kind. If something is quiet and not nice then it is not kind. Red things are big. If Gary is kind then Gary is not quiet.
Gary is quiet.
@0: Gary is furry.[(triple1)] Gary is red.[(triple2)] Harry is not furry.[(triple3)] @1: Gary is big.[(((triple2) -> rule5))] Gary is not kind.[(((triple1) -> rule3))] @2: Gary is quiet.[(((((triple2) -> rule5)) -> rule1))] @3: Gary is young.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))]