Charlie is not nice. Dave is rough. Fiona is white. If something is big then it is nice. White, smart things are not nice. White things are nice.
Fiona is not white.
@0: Charlie is not nice.[(triple1)] Dave is rough.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule3))]