Anne is nice. Fiona is nice. Gary is not red. Harry is furry. If someone is red then they are kind. Furry people are not kind. If someone is quiet then they are nice. If Harry is quiet then Harry is young. If Harry is quiet then Harry is nice. If someone is young and not quiet then they are furry. If someone is nice and not quiet then they are not furry. If someone is kind then they are red.
Fiona is not nice.
@0: Anne is nice.[(triple1)] Fiona is nice.[(triple2)] Gary is not red.[(triple3)] Harry is furry.[(triple4)] @1: Harry is not kind.[(((triple4) -> rule2))]