Anne is big. Anne is kind. Anne is red. Anne is round. Bob is not big. Bob is kind. Bob is not red. Erin is nice. Erin is smart. Harry is not round. If Erin is round then Erin is not nice. If Erin is red then Erin is not smart. If Anne is smart and Anne is kind then Anne is not nice.
Erin is nice.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is kind.[(triple6)] Bob is not big.[(triple5)] Bob is not red.[(triple7)] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Harry is not round.[(triple10)]