Anne is red. If Anne is red then Anne is blue. Round people are quiet. If someone is blue then they are big. All cold people are blue. If someone is big and round then they are furry. Quiet people are furry. Red people are quiet. If someone is red and quiet then they are round.
Anne is quiet.
@0: Anne is red.[(triple1)] @1: Anne is blue.[(((triple1) -> rule1))] Anne is quiet.[(((triple1) -> rule7))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule3))] Anne is furry.[(((((triple1) -> rule7)) -> rule6) OR ((((((triple1) -> rule1)) -> rule3) ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule5))] Anne is round.[(((triple1 ((triple1) -> rule7)) -> rule8))]