Fiona is furry. Fiona is white. Fiona is young. All smart people are not furry. If someone is furry and red then they are not young. If someone is quiet and furry then they are white. All red, kind people are quiet. If someone is white then they are quiet. If someone is red then they are quiet. If someone is red and not furry then they are quiet. If Fiona is not white and Fiona is not red then Fiona is young.
Fiona is kind.
@0: Fiona is furry.[(triple1)] Fiona is white.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule5))]