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 not red.
@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))]