Fiona is green. Gary is kind. Harry is smart. If Gary is blue and Gary is red then Gary is cold. If Harry is blue and Harry is green then Harry is big. All smart, cold people are blue. Green people are red. All green, red people are smart. If Gary is not blue and Gary is not smart then Gary is not kind.
Fiona is not cold.
@0: Fiona is green.[(triple1)] Gary is kind.[(triple2)] Harry is smart.[(triple3)] @1: Fiona is red.[(((triple1) -> rule4))] @2: Fiona is smart.[(((triple1 ((triple1) -> rule4)) -> rule5))]