Anne is big. Anne is not blue. Anne is not kind. Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is not red. Fiona is smart. Fiona is not white. Fiona is young. If something is red and blue then it is not smart.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is not red.[(triple11)] Fiona is not white.[(triple13)] Fiona is smart.[(triple12)] Fiona is young.[(triple14)]