Dave is cold. Dave is red. Dave is rough. Dave is white. Erin is not cold. Erin is green. Erin is quiet. Erin is red. Erin is smart. Erin is not white. Harry is cold. Harry is green. Harry is red. Harry is rough. Harry is smart. Harry is white. If something is rough and not cold then it is white. White, cold things are red. Cold, quiet things are red. If Dave is not cold then Dave is rough. If Dave is green then Dave is rough. If something is smart then it is green.
Harry is green.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2 OR ((triple4 triple1) -> rule2))] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is green.[(triple6 OR ((triple9) -> rule6))] Erin is not cold.[(triple5)] Erin is not white.[(triple10)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Harry is cold.[(triple11)] Harry is green.[(triple12 OR ((triple15) -> rule6))] Harry is red.[(triple13 OR ((triple16 triple11) -> rule2))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]