Fiona is not red. Fiona is white. Fiona is young. All young things are cold. All rough, young things are cold. Rough, young things are kind. Young things are kind. If something is kind then it is not rough. If something is young and not red then it is white. If something is cold then it is not furry. If Fiona is red and Fiona is not rough then Fiona is cold.
Fiona is not young.
@0: Fiona is not red.[(triple1)] Fiona is white.[(triple2 OR ((triple3 triple1) -> rule6))] Fiona is young.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule1))] Fiona is kind.[(((triple3) -> rule4))] @2: Fiona is not furry.[(((((triple3) -> rule1)) -> rule7))] Fiona is not rough.[(((((triple3) -> rule4)) -> rule5))]