Anne is big. Anne is smart. Charlie is not furry. Charlie is rough. Charlie is white. Erin is rough. Harry is young. All white, big things are not green. All big, white things are smart. If Erin is smart then Erin is not big. If Erin is young and Erin is not big then Erin is green. If something is big and not white then it is young. If something is green and not smart then it is not young.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Charlie is not furry.[(triple3)] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is rough.[(triple6)] Harry is young.[(triple7)]