Charlie is not cold. Charlie is kind. Charlie is nice. Charlie is young. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is not young. Erin is not cold. Erin is kind. Erin is nice. Erin is not rough. Erin is smart. All white people are kind. If someone is young then they are smart. If Erin is cold and Erin is not rough then Erin is nice.
Erin is young.
@0: Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple1)] Charlie is young.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple10) -> rule1))] Dave is nice.[(triple7)] Dave is not young.[(triple11)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Erin is kind.[(triple13)] Erin is nice.[(triple14)] Erin is not cold.[(triple12)] Erin is not rough.[(triple15)] Erin is smart.[(triple16)] @1: Charlie is smart.[(((triple4) -> rule2))]