Gary is round. If something is round then it is not furry. Blue, furry things are quiet. Red, blue things are round. All round things are red. All round, furry things are not green. If something is quiet then it is green. If Gary is not furry then Gary is quiet. If Gary is furry and Gary is rough then Gary is quiet.
Gary is not furry.
@0: Gary is round.[(triple1)] @1: Gary is not furry.[(((triple1) -> rule1))] Gary is red.[(((triple1) -> rule4))] @2: Gary is quiet.[(((((triple1) -> rule1)) -> rule7))] @3: Gary is green.[(((((((triple1) -> rule1)) -> rule7)) -> rule6))]