Anne is quiet. Fiona is quiet. Harry is round. Rough people are furry. If someone is red then they are smart. If someone is smart then they are round. Quiet people are smart. Quiet people are smart. Red, round people are furry.
Fiona is not smart.
@0: Anne is quiet.[(triple1)] Fiona is quiet.[(triple2)] Harry is round.[(triple3)] @1: Anne is smart.[(((triple1) -> rule4) OR ((triple1) -> rule5))] Fiona is smart.[(((triple2) -> rule4) OR ((triple2) -> rule5))] @2: Anne is round.[(((((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Fiona is round.[(((((triple2) -> rule4)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))]