Anne is big. Anne is furry. Anne is smart. Charlie is big. Charlie is round. Erin is not big. Erin is cold. Erin is furry. Erin is not round. Harry is big. Harry is cold. Harry is not furry. Harry is rough. Harry is round. Harry is smart. Harry is not white. All cold, furry things are not smart. Rough, round things are smart. If Erin is smart then Erin is cold. If Erin is not round then Erin is cold. If something is smart and not round then it is not big. Rough, smart things are not furry. If something is white then it is not cold. If Charlie is not cold then Charlie is not big.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4)] Charlie is round.[(triple5)] Erin is cold.[(triple7 OR ((triple9) -> rule4))] Erin is furry.[(triple8)] Erin is not big.[(triple6)] Erin is not round.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is not furry.[(triple12 OR ((triple13 triple15) -> rule6) OR ((triple13 ((triple13 triple14) -> rule2)) -> rule6))] Harry is not white.[(triple16)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple13 triple14) -> rule2))] @1: Erin is not smart.[(((triple7 triple8) -> rule1) OR ((((triple9) -> rule4) triple8) -> rule1))]