Anne is not big. Anne is round. Anne is not smart. Charlie is furry. Charlie is not smart. Charlie is white. Erin is big. Erin is furry. Erin is smart. Erin is white. If Erin is big and Erin is not rough then Erin is not furry.
Erin is round.
@0: Anne is not big.[(triple1)] Anne is not smart.[(triple3)] Anne is round.[(triple2)] Charlie is furry.[(triple4)] Charlie is not smart.[(triple5)] Charlie is white.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)]