Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is white. All blue people are big.
Gary is nice.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8 OR ((triple9) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is white.[(triple14)]