Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. If something is white and round then it is nice. If Fiona is young and Fiona is round then Fiona is kind. If Fiona is young and Fiona is nice then Fiona is quiet.
Fiona is not quiet.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2 OR ((triple7 triple5) -> rule2))] Fiona is nice.[(triple3 OR ((triple6 triple5) -> rule1))] Fiona is quiet.[(triple4 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple6 triple5) -> rule1)) -> rule3))] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]