Dave is quiet. Fiona is rough. All young things are not white. Cold things are white. Furry, kind things are not white. If Fiona is quiet and Fiona is not cold then Fiona is not rough. If Dave is rough and Dave is quiet then Dave is furry. If something is rough then it is furry. All furry things are young. Kind things are quiet.
Dave is not white.
@0: Dave is quiet.[(triple1)] Fiona is rough.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule6))] @2: Fiona is young.[(((((triple2) -> rule6)) -> rule7))] @3: Fiona is not white.[(((((((triple2) -> rule6)) -> rule7)) -> rule1))]