Fiona is big. Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is round. Fiona is young. If Fiona is furry then Fiona is not nice. If Fiona is nice then Fiona is blue.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is not blue.[(triple2)] Fiona is not nice.[(triple5 OR ((triple3) -> rule1))] Fiona is round.[(triple6)] Fiona is young.[(triple7)]