Charlie is not blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is not smart. Dave is blue. Dave is not nice. Dave is rough. Gary is blue. Gary is cold. Gary is green. Gary is not rough. Gary is round. Gary is smart. Harry is green. Harry is not round. If someone is blue and not nice then they are rough.
Harry is not round.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple1)] Charlie is not smart.[(triple5)] Dave is blue.[(triple6)] Dave is not nice.[(triple7)] Dave is rough.[(triple8 OR ((triple6 triple7) -> rule1))] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is not rough.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Harry is green.[(triple15)] Harry is not round.[(triple16)]