もしも「あの下丹田がフォルテだしそれは布達する」ということは成り立たないとするとプログレスでない
fact1: もしなにがしかの物はフォルテだということはないとしたら「プログレスでない」ということは事実だ fact2: もし「何らかの物がフォルテだしそれは布達する」ということは事実でないとすればプログレスでない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしなにがしかの物はフォルテだということはないとしたら「プログレスでない」ということは事実だ fact2: もし「何らかの物がフォルテだしそれは布達する」ということは事実でないとすればプログレスでない ; $hypothesis$ = もしも「あの下丹田がフォルテだしそれは布達する」ということは成り立たないとするとプログレスでない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしなにがしかの物はフォルテだということはないとしたら「プログレスでない」ということは事実だ
事実2: もし「何らかの物がフォルテだしそれは布達する」ということは事実でないとすればプログレスでない

仮説: もしも「あの下丹田がフォルテだしそれは布達する」ということは成り立たないとするとプログレスでない
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。