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