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.
Dave is white.
@0: Charlie is not nice.[(triple1)] Dave is rough.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule3))]