Charlie is not nice. Erin is furry. Erin is green. Erin is round. Erin is white. Harry is nice. Harry is white. If something is nice then it is furry. If something is nice and kind then it is furry. Furry, nice things are round. Green, nice things are not round. If Charlie is not green then Charlie is cold. If something is cold then it is white. Kind, furry things are nice. If Charlie is round then Charlie is nice.
Harry is white.
@0: Charlie is not nice.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is round.[(triple4)] Erin is white.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)] @1: Harry is furry.[(((triple6) -> rule1))] @2: Harry is round.[(((((triple6) -> rule1) triple6) -> rule3))]