Fiona is big. Fiona is blue. Fiona is not furry. Fiona is not nice. Fiona is not quiet. Fiona is round. Fiona is young. If Fiona is quiet then Fiona is round. If Fiona is big then Fiona is not furry. If something is furry and blue then it is not quiet. All nice things are big. All furry, big things are blue. If something is young and not quiet then it is round. All furry, blue things are round. If something is round and quiet then it is young.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is not furry.[(triple3 OR ((triple1) -> rule2))] Fiona is not nice.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple7 triple5) -> rule6))] Fiona is young.[(triple7)]