Gary is kind. Gary is rough. Gary is young. All red, furry people are round. If Gary is kind then Gary is red. Red people are furry.
Gary is furry.
@0: Gary is kind.[(triple1)] Gary is rough.[(triple2)] Gary is young.[(triple3)] @1: Gary is red.[(((triple1) -> rule2))] @2: Gary is furry.[(((((triple1) -> rule2)) -> rule3))] @3: Gary is round.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule1))]