Charlie is big. Charlie is not blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is not white. Gary is big. Gary is blue. Gary is not green. Gary is not nice. Gary is quiet. Gary is rough. Gary is not white. If someone is quiet and not nice then they are big. If Gary is green and Gary is big then Gary is not blue. If someone is white and not rough then they are green.
Gary is green.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple2)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Gary is big.[(triple8 OR ((triple12 triple11) -> rule1))] Gary is blue.[(triple9)] Gary is not green.[(triple10)] Gary is not nice.[(triple11)] Gary is not white.[(triple14)] Gary is quiet.[(triple12)] Gary is rough.[(triple13)]