Anne is cold. Gary is green. Kind, furry things are green. If Gary is kind and Gary is big then Gary is red. If Gary is kind and Gary is cold then Gary is furry. If something is cold then it is kind. Big things are furry. If Gary is kind then Gary is cold. All furry things are green. Cold, furry things are big.
Gary is not green.
@0: Anne is cold.[(triple1)] Gary is green.[(triple2)] @1: Anne is kind.[(((triple1) -> rule4))]