Dave is kind. Dave is quiet. Dave is smart. Fiona is not kind. Fiona is not nice. Fiona is young. Harry is not cold. Harry is kind. Harry is nice. Harry is not quiet. Harry is smart. Harry is young. If something is cold and not quiet then it is nice. If Harry is cold and Harry is not kind then Harry is young. All quiet, smart things are young.
Harry is not nice.
@0: Dave is kind.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is young.[(triple6)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is not cold.[(triple7)] Harry is not quiet.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Dave is young.[(((triple2 triple3) -> rule3))]