Anne is not kind. Anne is quiet. Bob is blue. Bob is quiet. Bob is not red. Bob is rough. Charlie is green. Charlie is nice. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. If Fiona is green then Fiona is quiet. If someone is rough and not green then they are kind. Red, green people are rough.
Fiona is rough.
@0: Anne is not kind.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3)] Bob is not red.[(triple5)] Bob is quiet.[(triple4)] Bob is rough.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)]