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