Charlie is blue. Charlie is rough. Charlie is white. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Gary is big. Gary is blue. Gary is kind. Gary is rough. Gary is young. All young things are rough.
Gary is not nice.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8 OR ((triple10) -> rule1))] Fiona is white.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13)] Gary is rough.[(triple14 OR ((triple15) -> rule1))] Gary is young.[(triple15)]