Gary is green. If Gary is white then Gary is red. If Gary is big then Gary is red. If Gary is white and Gary is furry then Gary is not red. If someone is green and not furry then they are white. If someone is cold then they are white. If Gary is green then Gary is cold. Big people are cold. If Gary is cold then Gary is quiet.
Gary is quiet.
@0: Gary is green.[(triple1)] @1: Gary is cold.[(((triple1) -> rule6))] @2: Gary is quiet.[(((((triple1) -> rule6)) -> rule8))] Gary is white.[(((((triple1) -> rule6)) -> rule5))] @3: Gary is red.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]