Anne is green. Anne is rough. Anne is smart. Dave is nice. Fiona is blue. Fiona is green. Fiona is nice. If someone is cold then they are kind. If Fiona is kind and Fiona is nice then Fiona is not rough. Kind people are blue.
Dave is rough.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Dave is nice.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)]