Anne is blue. Anne is cold. Anne is red. Anne is white. Anne is young. Erin is blue. Erin is furry. Erin is red. Erin is round. Erin is white. Gary is blue. Gary is round. If Erin is round then Erin is white. If something is cold then it is furry. If Erin is blue then Erin is furry. If something is red then it is round. All blue things are red. If Anne is young and Anne is cold then Anne is round. All furry, round things are cold. White, young things are furry.
Erin is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((((triple4 triple5) -> rule8) ((triple3) -> rule4)) -> rule7) OR ((((triple4 triple5) -> rule8) ((((triple1) -> rule5)) -> rule4)) -> rule7))] Anne is red.[(triple3 OR ((triple1) -> rule5))] Anne is white.[(triple4)] Anne is young.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple6) -> rule3))] Erin is red.[(triple8 OR ((triple6) -> rule5))] Erin is round.[(triple9 OR ((triple8) -> rule4) OR ((((triple6) -> rule5)) -> rule4))] Erin is white.[(triple10 OR ((triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4)) -> rule1))] Gary is blue.[(triple11)] Gary is round.[(triple12 OR ((((triple11) -> rule5)) -> rule4))] @1: Anne is furry.[(((triple2) -> rule2) OR ((triple4 triple5) -> rule8))] Anne is round.[(((triple3) -> rule4) OR ((triple5 triple2) -> rule6) OR ((((triple1) -> rule5)) -> rule4))] Erin is cold.[(((triple7 triple9) -> rule7) OR ((triple7 ((triple8) -> rule4)) -> rule7) OR ((((triple6) -> rule3) triple9) -> rule7) OR ((((triple6) -> rule3) ((triple8) -> rule4)) -> rule7) OR ((triple7 ((((triple6) -> rule5)) -> rule4)) -> rule7) OR ((((triple6) -> rule3) ((((triple6) -> rule5)) -> rule4)) -> rule7))] Gary is red.[(((triple11) -> rule5))]