Dave is furry. Fiona is red. Fiona is rough. All furry things are white.
Dave is quiet.
@0: Dave is furry.[(triple1)] Fiona is red.[(triple2)] Fiona is rough.[(triple3)] @1: Dave is white.[(((triple1) -> rule1))]