Charlie is furry. Charlie is nice. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is smart. Gary is nice. Gary is rough. Gary is round. Gary is smart. If something is blue then it is not white.
Gary is white.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is not smart.[(triple5)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Gary is nice.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Fiona is not white.[(((triple7) -> rule1))]