Gary is cold. Gary is green. Gary is red. If Gary is furry then Gary is big. All green, kind people are cold. If Gary is green then Gary is big.
Gary is not kind.
@0: Gary is cold.[(triple1)] Gary is green.[(triple2)] Gary is red.[(triple3)] @1: Gary is big.[(((triple2) -> rule3))]