Anne is kind. Erin is cold. Gary is kind. If Gary is white and Gary is not kind then Gary is big. All red people are green. If someone is big then they are not green. If Gary is green then Gary is white. All kind people are red. All kind people are cold. Kind people are not big. If someone is white and not red then they are quiet.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Erin is cold.[(triple2)] Gary is kind.[(triple3)] @1: Anne is cold.[(((triple1) -> rule6))] Anne is not big.[(((triple1) -> rule7))] Anne is red.[(((triple1) -> rule5))] Gary is cold.[(((triple3) -> rule6))] Gary is not big.[(((triple3) -> rule7))] Gary is red.[(((triple3) -> rule5))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule2))] Gary is green.[(((((triple3) -> rule5)) -> rule2))] @3: Gary is white.[(((((((triple3) -> rule5)) -> rule2)) -> rule4))]