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