Charlie is big. Charlie is furry. Charlie is green. Fiona is not big. Fiona is blue. Fiona is furry. Fiona is green. If Fiona is smart then Fiona is not white. If someone is big and not smart then they are not furry. If someone is big and round then they are not green. If Charlie is furry and Charlie is not big then Charlie is not white. All smart people are not round. If Fiona is green and Fiona is not blue then Fiona is big. If Charlie is not smart then Charlie is green. If Charlie is not furry then Charlie is not green.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not big.[(triple4)]