Ragionamento, prove e regole