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