Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is not rough. Charlie is green. Charlie is nice. Dave is not blue. Dave is not quiet. Harry is blue. Harry is cold. Harry is nice. If someone is blue and not green then they are cold. If someone is rough and quiet then they are cold. If Anne is not green then Anne is nice. All rough people are not big. If Dave is not quiet and Dave is not big then Dave is nice. If Anne is rough and Anne is not quiet then Anne is big. If Anne is quiet and Anne is not nice then Anne is big. If Anne is quiet and Anne is green then Anne is big.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not rough.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Dave is not blue.[(triple8)] Dave is not quiet.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)]