Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is not round. Erin is furry. Erin is not green. Erin is not kind. Erin is nice. Erin is not round. If someone is smart and not kind then they are not cold. If Erin is nice then Erin is not cold. If someone is kind and cold then they are not green. Kind, furry people are green. If someone is smart and not kind then they are furry. If Charlie is round then Charlie is cold. Furry people are nice. If Erin is smart and Erin is not kind then Erin is nice.
Charlie is not smart.
@0: Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple2) -> rule7))] Charlie is not cold.[(triple1)] Charlie is not round.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple9 OR ((triple6) -> rule7))] Erin is not green.[(triple7)] Erin is not kind.[(triple8)] Erin is not round.[(triple10)] @1: Charlie is green.[(((triple3 triple2) -> rule4))] Erin is not cold.[(((triple9) -> rule2) OR ((((triple6) -> rule7)) -> rule2))]