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