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