Gary is cold. All red, big things are cold. All rough things are cold. Cold things are kind. If Gary is red and Gary is rough then Gary is big. All blue things are rough. All cold things are red. Nice, kind things are cold. All red things are blue.
Gary is not kind.
@0: Gary is cold.[(triple1)] @1: Gary is kind.[(((triple1) -> rule3))] Gary is red.[(((triple1) -> rule6))] @2: Gary is blue.[(((((triple1) -> rule6)) -> rule8))] @3: Gary is rough.[(((((((triple1) -> rule6)) -> rule8)) -> rule5))] @4: Gary is big.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule8)) -> rule5)) -> rule4))]