Dave is not blue. Dave is not cold. Dave is rough. Dave is not round. Dave is young. Harry is not blue. Harry is cold. Harry is red. Harry is not rough. Harry is not young. If Harry is young and Harry is cold then Harry is not blue. If Harry is young then Harry is blue. If Dave is cold then Dave is not young. Nice things are young. All round, rough things are not cold. Cold things are not round.
Dave is not cold.
@0: Dave is not blue.[(triple1)] Dave is not cold.[(triple2)] Dave is not round.[(triple4)] Dave is rough.[(triple3)] Dave is young.[(triple5)] Harry is cold.[(triple7)] Harry is not blue.[(triple6)] Harry is not rough.[(triple9)] Harry is not young.[(triple10)] Harry is red.[(triple8)] @1: Harry is not round.[(((triple7) -> rule6))]