Fiona is cold. Fiona is furry. Fiona is kind. Fiona is white. Harry is cold. Harry is not white. Harry is young. If Harry is red then Harry is rough. All furry things are not young.
Fiona is white.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is white.[(triple4)] Harry is cold.[(triple5)] Harry is not white.[(triple6)] Harry is young.[(triple7)] @1: Fiona is not young.[(((triple2) -> rule2))]