Dave is kind. Erin is blue. Fiona is rough. If something is big and kind then it is white. Quiet things are big. All quiet, nice things are white. Quiet things are kind. If Dave is kind and Dave is big then Dave is nice. If something is white then it is rough. If something is quiet then it is blue. If something is rough then it is nice.
Dave is quiet.
@0: Dave is kind.[(triple1)] Erin is blue.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule8))]