Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. If Fiona is kind then Fiona is nice. If Fiona is blue then Fiona is green. All cold, kind people are nice.
Fiona is not kind.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple1) -> rule2))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6 OR ((triple5) -> rule1) OR ((triple2 triple5) -> rule3))] Fiona is white.[(triple7)]