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