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