Anne is blue. Anne is kind. Anne is not red. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is not rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. If someone is blue and not kind then they are not cold.
Fiona is not red.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not red.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is not rough.[(triple9)] Bob is red.[(triple8)] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)]