Anne is cold. Anne is furry. Anne is quiet. Erin is cold. Erin is quiet. Erin is round. Erin is white. If Anne is red then Anne is cold. Green, red things are white. If something is round then it is cold. Furry, white things are red. If something is cold then it is quiet. All round things are furry.
Erin is green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule5))] Erin is cold.[(triple4 OR ((triple6) -> rule3))] Erin is quiet.[(triple5 OR ((triple4) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] Erin is round.[(triple6)] Erin is white.[(triple7)] @1: Erin is furry.[(((triple6) -> rule6))] @2: Erin is red.[(((((triple6) -> rule6) triple7) -> rule4))]