Anne is big. Anne is furry. Anne is kind. Anne is nice. Erin is big. Erin is furry. Erin is not nice. Harry is big. Harry is nice. Harry is smart. If Erin is not cold then Erin is kind. If Erin is cold then Erin is not smart. If someone is smart and rough then they are big.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is not nice.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is smart.[(triple10)]