Anne is white. Gary is big. Gary is red. If someone is big then they are kind. Young, white people are kind. Young, red people are big. All white people are young. Red people are not cold. If Gary is cold then Gary is kind.
Gary is not big.
@0: Anne is white.[(triple1)] Gary is big.[(triple2)] Gary is red.[(triple3)] @1: Anne is young.[(((triple1) -> rule4))] Gary is kind.[(((triple2) -> rule1))] Gary is not cold.[(((triple3) -> rule5))] @2: Anne is kind.[(((((triple1) -> rule4) triple1) -> rule2))]