Gary is rough. All round things are furry. All young, furry things are nice. If something is rough then it is nice. If something is furry and not young then it is not nice. If something is young then it is not nice. If something is furry and round then it is rough. If something is rough and young then it is not cold. If something is nice and rough then it is round.
Gary is not round.
@0: Gary is rough.[(triple1)] @1: Gary is nice.[(((triple1) -> rule3))] @2: Gary is round.[(((((triple1) -> rule3) triple1) -> rule8))] @3: Gary is furry.[(((((((triple1) -> rule3) triple1) -> rule8)) -> rule1))]