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