Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Young, white things are red. All nice, kind things are round.
Fiona is kind.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple7 triple6) -> rule1))] Fiona is round.[(triple5 OR ((triple3 triple2) -> rule2))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]