Fiona is not cold. Fiona is furry. Fiona is not green. Fiona is not red. Fiona is rough. Fiona is round. Fiona is white. Red things are green. If something is round then it is not green.
Fiona is green.
@0: Fiona is furry.[(triple2)] Fiona is not cold.[(triple1)] Fiona is not green.[(triple3 OR ((triple6) -> rule2))] Fiona is not red.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]