Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. If someone is furry then they are kind. All furry, blue people are quiet. If someone is red and not furry then they are white. If someone is quiet and not red then they are not white. If someone is furry and white then they are nice. If Fiona is not furry then Fiona is nice.
Fiona is nice.
@0: Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple2) -> rule1))] Fiona is nice.[(triple4 OR ((triple2 triple7) -> rule5))] Fiona is not blue.[(triple1)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)]