take NAT --> the chordal _Graph ; :: thesis: NAT --> the chordal _Graph is chordal
thus NAT --> the chordal _Graph is chordal ; :: thesis: verum