Gary is furry. Gary is nice. Gary is round. Round, nice people are blue. If someone is blue and kind then they are quiet. If someone is smart then they are furry. All smart people are nice. If someone is furry and blue then they are smart. All blue, smart people are quiet.
Gary is not blue.
@0: Gary is furry.[(triple1)] Gary is nice.[(triple2)] Gary is round.[(triple3)] @1: Gary is blue.[(((triple3 triple2) -> rule1))] @2: Gary is smart.[(((triple1 ((triple3 triple2) -> rule1)) -> rule5))] @3: Gary is quiet.[(((((triple3 triple2) -> rule1) ((triple1 ((triple3 triple2) -> rule1)) -> rule5)) -> rule6))]