Bob is round. Fiona is furry. Fiona is not young. If something is round then it is smart. If something is quiet and not kind then it is not smart. Round things are furry. Furry, kind things are round. Furry things are not quiet. If Fiona is kind and Fiona is round then Fiona is not smart.
Bob is round.
@0: Bob is round.[(triple1)] Fiona is furry.[(triple2)] Fiona is not young.[(triple3)] @1: Bob is furry.[(((triple1) -> rule3))] Bob is smart.[(((triple1) -> rule1))] Fiona is not quiet.[(((triple2) -> rule5))] @2: Bob is not quiet.[(((((triple1) -> rule3)) -> rule5))]