Dave is white. Fiona is not quiet. Fiona is smart. If someone is smart then they are nice. All smart people are big. Rough people are big. If someone is quiet and white then they are not rough. Big people are rough. Rough, big people are white. If Dave is white then Dave is not big. If someone is big and not white then they are not furry.
Fiona is not furry.
@0: Dave is white.[(triple1)] Fiona is not quiet.[(triple2)] Fiona is smart.[(triple3)] @1: Dave is not big.[(((triple1) -> rule7))] Fiona is big.[(((triple3) -> rule2))] Fiona is nice.[(((triple3) -> rule1))] @2: Fiona is rough.[(((((triple3) -> rule2)) -> rule5))] @3: Fiona is white.[(((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule6))]