Fiona is kind. Harry is big. Harry is furry. If someone is furry and kind then they are white. All furry people are young. If Fiona is white then Fiona is young.
Fiona is not young.
@0: Fiona is kind.[(triple1)] Harry is big.[(triple2)] Harry is furry.[(triple3)] @1: Harry is young.[(((triple3) -> rule2))]