Fiona is round. Gary is quiet. Smart people are cold. If Gary is green and Gary is furry then Gary is quiet. Furry, white people are smart. Quiet people are furry. Green people are cold. If someone is cold then they are smart. All quiet, furry people are round. All white, cold people are green.
Gary is not cold.
@0: Fiona is round.[(triple1)] Gary is quiet.[(triple2)] @1: Gary is furry.[(((triple2) -> rule4))] @2: Gary is round.[(((triple2 ((triple2) -> rule4)) -> rule7))]