Anne is not smart. Bob is big. Bob is not red. Charlie is furry. Charlie is nice. Charlie is white. Erin is big. Erin is furry. Erin is not nice. Erin is not red. Furry, smart people are cold. If Bob is furry then Bob is cold. All furry, nice people are smart. If someone is white then they are big. Red, cold people are big. All big people are white. Furry people are white. If Charlie is furry then Charlie is white.
Anne is not white.
@0: Anne is not smart.[(triple1)] Bob is big.[(triple2)] Bob is not red.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6 OR ((triple4) -> rule7) OR ((triple4) -> rule8))] Erin is big.[(triple7 OR ((((triple8) -> rule7)) -> rule4))] Erin is furry.[(triple8)] Erin is not nice.[(triple9)] Erin is not red.[(triple10)] @1: Bob is white.[(((triple2) -> rule6))] Charlie is big.[(((triple6) -> rule4) OR ((((triple4) -> rule7)) -> rule4) OR ((((triple4) -> rule8)) -> rule4))] Charlie is smart.[(((triple4 triple5) -> rule3))] Erin is white.[(((triple7) -> rule6) OR ((triple8) -> rule7))] @2: Charlie is cold.[(((triple4 ((triple4 triple5) -> rule3)) -> rule1))]