Anne is big. Anne is not blue. Anne is kind. Anne is not nice. Anne is quiet. Anne is white. Anne is young. Fiona is big. Fiona is blue. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is white. Fiona is not young. If Fiona is big and Fiona is nice then Fiona is quiet. If Anne is nice and Anne is big then Anne is blue. Nice people are not big.
Fiona is not nice.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not blue.[(triple2)] Anne is not nice.[(triple4)] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is not nice.[(triple11)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple12)] Fiona is white.[(triple13)]