Anne is kind. Charlie is round. Erin is not round. If something is round and not smart then it is red. Furry things are not red. Furry, smart things are cold. If something is furry then it is not cold. Round things are cold. Round, nice things are furry. Smart, furry things are kind. If something is round and not red then it is kind.
Charlie is not round.
@0: Anne is kind.[(triple1)] Charlie is round.[(triple2)] Erin is not round.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule5))]