Erin is nice. Fiona is smart. Harry is white. All smart, blue people are nice. All nice, big people are rough. If someone is rough then they are nice.
Harry is not white.
@0: Erin is nice.[(triple1)] Fiona is smart.[(triple2)] Harry is white.[(triple3)]