Anne is big. Anne is furry. Anne is round. Anne is smart. Anne is young. Erin is green. Erin is smart. Round things are cold. If Erin is round then Erin is furry. If something is smart and young then it is big. Furry things are smart. All green, big things are smart. If Erin is furry then Erin is young. If Erin is green then Erin is furry. If Erin is smart and Erin is cold then Erin is round.
Anne is not cold.
@0: Anne is big.[(triple1 OR ((triple4 triple5) -> rule3) OR ((((triple2) -> rule4) triple5) -> rule3))] Anne is furry.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule4))] Anne is young.[(triple5)] Erin is green.[(triple6)] Erin is smart.[(triple7 OR ((((triple6) -> rule7)) -> rule4))] @1: Anne is cold.[(((triple3) -> rule1))] Erin is furry.[(((triple6) -> rule7))] @2: Erin is young.[(((((triple6) -> rule7)) -> rule6))] @3: Erin is big.[(((triple7 ((((triple6) -> rule7)) -> rule6)) -> rule3) OR ((((((triple6) -> rule7)) -> rule4) ((((triple6) -> rule7)) -> rule6)) -> rule3))]