Gary is cold. Gary is kind. Gary is white. All rough things are kind. All cold, kind things are white. If Gary is white then Gary is red. All smart things are kind. All quiet, red things are smart. All quiet things are white.
Gary is white.
@0: Gary is cold.[(triple1)] Gary is kind.[(triple2)] Gary is white.[(triple3 OR ((triple1 triple2) -> rule2))] @1: Gary is red.[(((triple3) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3))]