Erin is cold. Fiona is cold. Gary is big. All quiet, smart things are cold. If something is big then it is round. If something is round and green then it is smart. All blue things are cold. If something is quiet and smart then it is round. If something is round then it is green.
Gary is green.
@0: Erin is cold.[(triple1)] Fiona is cold.[(triple2)] Gary is big.[(triple3)] @1: Gary is round.[(((triple3) -> rule2))] @2: Gary is green.[(((((triple3) -> rule2)) -> rule6))] @3: Gary is smart.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule6)) -> rule3))]