Fiona is furry. Harry is not furry. If someone is nice then they are blue. If someone is green then they are not kind. If someone is green and not furry then they are red. If someone is furry then they are not red. All blue people are red. If Harry is furry then Harry is kind. Kind people are nice. If Harry is nice and Harry is not kind then Harry is red.
Harry is not kind.
@0: Fiona is furry.[(triple1)] Harry is not furry.[(triple2)] @1: Fiona is not red.[(((triple1) -> rule4))]