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