Gary is big. Gary is nice. Gary is smart. All nice, kind people are rough. All nice people are quiet. If Gary is furry and Gary is smart then Gary is nice. Rough people are furry. Kind, furry people are quiet. If Gary is smart and Gary is quiet then Gary is rough. Kind, smart people are big. All kind, rough people are big.
Gary is not rough.
@0: Gary is big.[(triple1)] Gary is nice.[(triple2)] Gary is smart.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule2))] @2: Gary is rough.[(((triple3 ((triple2) -> rule2)) -> rule6))] @3: Gary is furry.[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule4))]