Anne is cold. Gary is cold. Gary is quiet. If someone is quiet then they are young. All young people are nice. If Gary is nice and Gary is cold then Gary is blue.
Gary is not quiet.
@0: Anne is cold.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1)) -> rule2))] @3: Gary is blue.[(((((((triple3) -> rule1)) -> rule2) triple2) -> rule3))]