Charlie is big. Charlie is not cold. Charlie is not quiet. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is not white. Fiona is not big. Fiona is cold. Fiona is not quiet. Fiona is not red. Fiona is rough. Fiona is smart. Fiona is white. Gary is quiet. Gary is white. All white people are smart.
Fiona is big.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not rough.[(triple5)] Charlie is not white.[(triple7)] Charlie is red.[(triple4)] Charlie is smart.[(triple6)] Fiona is cold.[(triple9)] Fiona is not big.[(triple8)] Fiona is not quiet.[(triple10)] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Fiona is smart.[(triple13 OR ((triple14) -> rule1))] Fiona is white.[(triple14)] Gary is quiet.[(triple15)] Gary is white.[(triple16)] @1: Gary is smart.[(((triple16) -> rule1))]