Charlie is big. Charlie is blue. Charlie is not furry. Charlie is not green. Charlie is red. Charlie is rough. Charlie is not round. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. If Charlie is not round and Charlie is not big then Charlie is furry.
Fiona is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not green.[(triple4)] Charlie is not round.[(triple7)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple11)] Fiona is not furry.[(triple10)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)]