Anne is furry. Dave is quiet. Erin is furry. Fiona is rough. If someone is smart and nice then they are white. White, smart people are young. Rough, white people are nice. If someone is young then they are rough. All nice, rough people are white. If someone is white then they are nice. If Fiona is rough then Fiona is young. All young people are nice.
Fiona is not nice.
@0: Anne is furry.[(triple1)] Dave is quiet.[(triple2)] Erin is furry.[(triple3)] Fiona is rough.[(triple4)] @1: Fiona is young.[(((triple4) -> rule7))] @2: Fiona is nice.[(((((triple4) -> rule7)) -> rule8))] @3: Fiona is white.[(((((((triple4) -> rule7)) -> rule8) triple4) -> rule5))]