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