Dave is cold. Dave is nice. Dave is rough. Dave is smart. Dave is young. Erin is cold. Erin is kind. Erin is rough. Erin is not smart. Erin is not young. Harry is kind. Harry is smart. All nice, kind things are cold. If something is red then it is cold. All smart things are not red.
Erin is nice.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is not smart.[(triple9)] Erin is not young.[(triple10)] Erin is rough.[(triple8)] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Dave is not red.[(((triple4) -> rule3))] Harry is not red.[(((triple12) -> rule3))]