Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is cold. Dave is furry. Dave is not kind. Dave is red. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is not smart. Kind, young people are red. Kind, furry people are red.
Erin is not red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple3 triple2) -> rule2) OR ((triple3 triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is not kind.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Erin is cold.[(triple14)] Erin is furry.[(triple15)] Erin is not smart.[(triple16)]