Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If someone is young and round then they are furry.
Fiona is round.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple7 triple4) -> rule1))] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]