Fiona is big. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is not round. If something is big and not kind then it is not furry. If something is rough and furry then it is big. If something is quiet and round then it is not big. All kind things are quiet. If something is rough then it is quiet. If Fiona is furry then Fiona is rough.
Fiona is furry.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is not furry.[(triple2)] Fiona is not round.[(triple7)] Fiona is quiet.[(triple5 OR ((triple3) -> rule4) OR ((triple6) -> rule5))] Fiona is rough.[(triple6)]