Fiona is furry. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is round. Fiona is not smart. Fiona is young. If Fiona is smart and Fiona is not nice then Fiona is young. Smart things are furry. If something is smart then it is green. Smart things are round. Young things are round. If something is kind and not furry then it is round.
Fiona is furry.
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2)] Fiona is nice.[(triple4)] Fiona is not kind.[(triple3)] Fiona is not smart.[(triple6)] Fiona is round.[(triple5 OR ((triple7) -> rule5))] Fiona is young.[(triple7)]