Bob is round. Charlie is kind. Charlie is not round. Charlie is not smart. Dave is not cold. Dave is not kind. Dave is smart. Harry is cold. Harry is not kind. Harry is quiet. If someone is round and not nice then they are not white. If someone is round then they are kind.
Dave is not quiet.
@0: Bob is round.[(triple1)] Charlie is kind.[(triple2)] Charlie is not round.[(triple3)] Charlie is not smart.[(triple4)] Dave is not cold.[(triple5)] Dave is not kind.[(triple6)] Dave is smart.[(triple7)] Harry is cold.[(triple8)] Harry is not kind.[(triple9)] Harry is quiet.[(triple10)] @1: Bob is kind.[(((triple1) -> rule2))]