Anne is big. Anne is furry. Anne is green. Anne is kind. Bob is not green. Bob is not kind. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is not white. If something is green and not kind then it is smart. White, smart things are furry. If Anne is quiet and Anne is not smart then Anne is white.
Bob is not green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Bob is not green.[(triple5)] Bob is not kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is not furry.[(triple10)] Fiona is not white.[(triple15)] Fiona is quiet.[(triple13)] Fiona is smart.[(triple14)]