「「もしも喫しないとしたら揮発し易いしかつ比較的小型でない」物はある」ということは成り立たない
fact1: この心底が喫するということはないならばそれは揮発し易いし更にそれは比較的小型だということはない
$facts$ = fact1: この心底が喫するということはないならばそれは揮発し易いし更にそれは比較的小型だということはない ; $hypothesis$ = 「「もしも喫しないとしたら揮発し易いしかつ比較的小型でない」物はある」ということは成り立たない ; $proof$ = 
事実1: この心底が喫するということはないならばそれは揮発し易いし更にそれは比較的小型だということはない

仮説: 「「もしも喫しないとしたら揮発し易いしかつ比較的小型でない」物はある」ということは成り立たない