Bob is not furry. Fiona is red. Harry is smart. Furry things are smart. If something is furry then it is quiet. If something is red and not kind then it is quiet. If something is young and not kind then it is quiet. If Harry is nice then Harry is not furry. If something is smart then it is nice. If Fiona is furry and Fiona is nice then Fiona is young. If Harry is furry and Harry is nice then Harry is not smart.
Fiona is not quiet.
@0: Bob is not furry.[(triple1)] Fiona is red.[(triple2)] Harry is smart.[(triple3)] @1: Harry is nice.[(((triple3) -> rule6))] @2: Harry is not furry.[(((((triple3) -> rule6)) -> rule5))]