Anne is big. Anne is cold. Anne is kind. Anne is rough. Anne is smart. Erin is big. Erin is not cold. Erin is not rough. Erin is round. Erin is not white. If something is round and kind then it is not cold. If something is kind and not cold then it is smart. Smart, white things are big.
Erin is white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Erin is big.[(triple6)] Erin is not cold.[(triple7)] Erin is not rough.[(triple8)] Erin is not white.[(triple10)] Erin is round.[(triple9)]