Dave is blue. Dave is cold. Dave is not green. Dave is nice. Dave is red. Dave is not rough. Dave is smart. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is not rough. Erin is not smart. If Dave is smart and Dave is rough then Dave is cold. If Dave is green and Dave is not smart then Dave is red. All blue people are red.
Erin is rough.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple4)] Dave is not green.[(triple3)] Dave is not rough.[(triple6)] Dave is red.[(triple5 OR ((triple1) -> rule3))] Dave is smart.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is not rough.[(triple13)] Erin is not smart.[(triple14)] Erin is red.[(triple12 OR ((triple8) -> rule3))]