Dave is cold. Dave is kind. Dave is rough. Dave is young. Erin is blue. Erin is cold. Erin is kind. Erin is rough. Erin is round. Erin is white. Erin is young. Harry is blue. Harry is cold. Harry is kind. Harry is round. Harry is young. If something is white and kind then it is rough. If something is kind and round then it is cold.
Harry is not rough.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is young.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6 OR ((triple7 triple9) -> rule2))] Erin is kind.[(triple7)] Erin is rough.[(triple8 OR ((triple10 triple7) -> rule1))] Erin is round.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13 OR ((triple14 triple15) -> rule2))] Harry is kind.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)]