「もし仮に「そのＨＵＢは遂行しなくてそれは終うない」ということは成り立たないならば「そのＨＵＢは有機ＳＩＭＳだということはない」ということは成り立つ」ということは成り立たない
fact1: もし仮に「とある物は遂行しなくておまけに終うない」ということは本当であるということはないならば有機ＳＩＭＳでない
$facts$ = fact1: もし仮に「とある物は遂行しなくておまけに終うない」ということは本当であるということはないならば有機ＳＩＭＳでない ; $hypothesis$ = 「もし仮に「そのＨＵＢは遂行しなくてそれは終うない」ということは成り立たないならば「そのＨＵＢは有機ＳＩＭＳだということはない」ということは成り立つ」ということは成り立たない ; $proof$ = 
事実1: もし仮に「とある物は遂行しなくておまけに終うない」ということは本当であるということはないならば有機ＳＩＭＳでない

仮説: 「もし仮に「そのＨＵＢは遂行しなくてそれは終うない」ということは成り立たないならば「そのＨＵＢは有機ＳＩＭＳだということはない」ということは成り立つ」ということは成り立たない