Gary is blue. Gary is cold. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is young. Round things are rough. Cold things are rough.
Gary is not blue.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4 OR ((triple2) -> rule2) OR ((triple5) -> rule1))] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]