Fiona is big. Fiona is furry. Fiona is green. Fiona is not rough. Fiona is round. Fiona is white. Fiona is young. If Fiona is not big then Fiona is not rough. If something is young and not white then it is rough. Big, green things are furry.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2 OR ((triple1 triple3) -> rule3))] Fiona is green.[(triple3)] Fiona is not rough.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]