Anne is smart. Charlie is not big. Dave is not smart. Erin is rough. If someone is quiet and not smart then they are white. If someone is rough and not quiet then they are furry. Quiet people are green. If Charlie is not quiet then Charlie is not big. If Erin is green then Erin is white. If Erin is big and Erin is not green then Erin is white.
Charlie is not furry.
@0: Anne is smart.[(triple1)] Charlie is not big.[(triple2)] Dave is not smart.[(triple3)] Erin is rough.[(triple4)]