Charlie is cold. Erin is smart. Gary is furry. Harry is nice. Big things are nice. All smart, furry things are kind. Kind, smart things are furry. If something is cold and nice then it is big. If something is big then it is smart. If Charlie is nice and Charlie is kind then Charlie is cold. If something is furry then it is big. All cold things are kind.
Harry is not nice.
@0: Charlie is cold.[(triple1)] Erin is smart.[(triple2)] Gary is furry.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule8))] Gary is big.[(((triple3) -> rule7))] @2: Gary is nice.[(((((triple3) -> rule7)) -> rule1))] Gary is smart.[(((((triple3) -> rule7)) -> rule5))] @3: Gary is kind.[(((((((triple3) -> rule7)) -> rule5) triple3) -> rule2))]