Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is rough. Gary is white. All rough people are cold. All big people are kind. If Gary is not white then Gary is not big. If Gary is blue and Gary is not big then Gary is cold. If someone is big and not cold then they are not green. White people are green.
Gary is blue.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple6) -> rule1))] Gary is green.[(triple4 OR ((triple7) -> rule6))] Gary is kind.[(triple5 OR ((triple1) -> rule2))] Gary is rough.[(triple6)] Gary is white.[(triple7)]