Anne is blue. Anne is white. Gary is red. If Gary is white then Gary is green. All cold people are kind. All white people are quiet. If Anne is green and Anne is white then Anne is red. If Anne is quiet and Anne is green then Anne is red. Green people are quiet. If Gary is white and Gary is green then Gary is red. If someone is cold then they are green.
Gary is cold.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2)] Gary is red.[(triple3)] @1: Anne is quiet.[(((triple2) -> rule3))]