Anne is kind. Charlie is not big. Erin is kind. Harry is furry. All cold people are smart. If someone is big and not quiet then they are smart. If Anne is not furry then Anne is not cold. All furry people are blue. If someone is quiet and not furry then they are blue. All blue, furry people are cold. All blue people are cold. If Erin is kind and Erin is smart then Erin is not big.
Erin is big.
@0: Anne is kind.[(triple1)] Charlie is not big.[(triple2)] Erin is kind.[(triple3)] Harry is furry.[(triple4)] @1: Harry is blue.[(((triple4) -> rule4))] @2: Harry is cold.[(((((triple4) -> rule4)) -> rule7) OR ((((triple4) -> rule4) triple4) -> rule6))] @3: Harry is smart.[(((((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple4) -> rule4) triple4) -> rule6)) -> rule1))]