「もしも「不足し易い」ということは成り立つとすると配布しなくてその上詰め掛けない」ものはある
fact1: もし仮にあの高周波ソードが不足し易いとするとそれは配布するということはないし詰め掛けない fact2: 「もし不足し易いとしたら配布しない」ものはある fact3: もしあの高周波ソードが不足し易いとすればそれは配布しないしその上それは詰め掛ける fact4: もしあの高周波ソードが不足し易いとすると配布しない fact5: 「もし不足し易いとすると配布するということはないし詰め掛ける」物はある fact6: 「もし不足し易いとすれば配布するがしかし詰め掛けない」物はある
fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの高周波ソードが不足し易いとするとそれは配布するということはないし詰め掛けない fact2: 「もし不足し易いとしたら配布しない」ものはある fact3: もしあの高周波ソードが不足し易いとすればそれは配布しないしその上それは詰め掛ける fact4: もしあの高周波ソードが不足し易いとすると配布しない fact5: 「もし不足し易いとすると配布するということはないし詰め掛ける」物はある fact6: 「もし不足し易いとすれば配布するがしかし詰め掛けない」物はある ; $hypothesis$ = 「もしも「不足し易い」ということは成り立つとすると配布しなくてその上詰め掛けない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの高周波ソードが不足し易いとするとそれは配布するということはないし詰め掛けない
事実2: 「もし不足し易いとしたら配布しない」ものはある
事実3: もしあの高周波ソードが不足し易いとすればそれは配布しないしその上それは詰め掛ける
事実4: もしあの高周波ソードが不足し易いとすると配布しない
事実5: 「もし不足し易いとすると配布するということはないし詰め掛ける」物はある
事実6: 「もし不足し易いとすれば配布するがしかし詰め掛けない」物はある

仮説: 「もしも「不足し易い」ということは成り立つとすると配布しなくてその上詰め掛けない」ものはある
1. 事実1から、仮説が導かれる

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