Anne is not red. Charlie is big. Charlie is cold. Charlie is furry. Charlie is red. Dave is furry. Dave is nice. Dave is round. Dave is white. Erin is big. Erin is not furry. Erin is white. Round people are white. If someone is cold then they are big. All white people are big. All furry, white people are nice. If Charlie is white and Charlie is round then Charlie is cold. If Erin is nice and Erin is cold then Erin is white. If Charlie is round then Charlie is furry. If someone is big then they are round.
Erin is cold.
@0: Anne is not red.[(triple1)] Charlie is big.[(triple2 OR ((triple3) -> rule2))] Charlie is cold.[(triple3 OR ((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule5))] Charlie is furry.[(triple4 OR ((((triple2) -> rule8)) -> rule7) OR ((((((triple3) -> rule2)) -> rule8)) -> rule7))] Charlie is red.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7 OR ((triple6 triple9) -> rule4) OR ((triple6 ((triple8) -> rule1)) -> rule4))] Dave is round.[(triple8 OR ((((triple9) -> rule3)) -> rule8))] Dave is white.[(triple9 OR ((triple8) -> rule1))] Erin is big.[(triple10 OR ((triple12) -> rule3))] Erin is not furry.[(triple11)] Erin is white.[(triple12 OR ((((triple10) -> rule8)) -> rule1))] @1: Charlie is round.[(((triple2) -> rule8) OR ((((triple3) -> rule2)) -> rule8))] Dave is big.[(((triple9) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Erin is round.[(((triple10) -> rule8) OR ((((triple12) -> rule3)) -> rule8))] @2: Charlie is white.[(((((triple2) -> rule8)) -> rule1) OR ((((((triple3) -> rule2)) -> rule8)) -> rule1))] @3: Charlie is nice.[(((triple4 ((((triple2) -> rule8)) -> rule1)) -> rule4) OR ((((((triple2) -> rule8)) -> rule7) ((((triple2) -> rule8)) -> rule1)) -> rule4) OR ((triple4 ((((((triple3) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple2) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule8)) -> rule7) ((((triple2) -> rule8)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule8)) -> rule1)) -> rule4))]