Anne is furry. Bob is round. Erin is round. If something is round and rough then it is quiet. Young, round things are kind. If Anne is quiet and Anne is kind then Anne is young. If Erin is red and Erin is young then Erin is furry. If something is young then it is quiet. All furry, kind things are red. All furry things are young. If something is young and furry then it is quiet.
Erin is rough.
@0: Anne is furry.[(triple1)] Bob is round.[(triple2)] Erin is round.[(triple3)] @1: Anne is young.[(((triple1) -> rule7))] @2: Anne is quiet.[(((((triple1) -> rule7)) -> rule5) OR ((((triple1) -> rule7) triple1) -> rule8))]