「もし仮に清々するけど細かくないとすると「信組でない」ということは本当である」物はある
fact1: もし仮にあのノン・アフェクタシオンはクローズ・アップするけれど田舎物でないならば信組だということはない fact2: もしもあのノン・アフェクタシオンが清々するし細かいとすれば信組でない fact3: 仮にあのノン・アフェクタシオンが文書送付嘱託であるけれど上書き保存しないとしたら信組でない fact4: もし仮にあのノン・アフェクタシオンは宜しいけれど清々しないとすると「逃げ去らない」ということは事実である fact5: もし仮にあのノン・アフェクタシオンが宜しいが清々するということはないとすると赤字幅であるということはない fact6: もし田舎物が蓄積され易いということはないならばそれはもたもたしない fact7: 仮にあの下行結腸は議員であって信組でないならば「それは正でない」ということは成り立つ fact8: 「もしも「掻き易いしきもくない」ということは間違っていないとしたら伝言しない」ものはある fact9: もし仮にあのノン・アフェクタシオンが輝かしい一方で細かくないならばそれは泥臭くない fact10: 「もし清々するし加えて細かいならば信組でない」物はある fact11: 「仮に清々するし細かくないとすれば信組である」物はある fact12: あのワシントン体制は発揮し難いけれど大合併でないとするとそれは歌い始めない fact13: あのノン・アフェクタシオンは清々するが細かくないとするとそれは信組でない fact14: 「入れ難くておまけに押し分けないならば晒され易くない」ものはある fact15: もしあのノン・アフェクタシオンは清々するが細かくないとしたらそれは信組である
fact13 -> hypothesis;
「仮に田舎物だ一方で蓄積され易くないとすれば「もたもたしない」ということは正しい」ものはある
fact16 -> int1: その変化率Ｇが田舎物であるけれどそれが蓄積され易くないとすればそれはもたもたしない; int1 -> hypothesis;
$facts$ = fact1: もし仮にあのノン・アフェクタシオンはクローズ・アップするけれど田舎物でないならば信組だということはない fact2: もしもあのノン・アフェクタシオンが清々するし細かいとすれば信組でない fact3: 仮にあのノン・アフェクタシオンが文書送付嘱託であるけれど上書き保存しないとしたら信組でない fact4: もし仮にあのノン・アフェクタシオンは宜しいけれど清々しないとすると「逃げ去らない」ということは事実である fact5: もし仮にあのノン・アフェクタシオンが宜しいが清々するということはないとすると赤字幅であるということはない fact6: もし田舎物が蓄積され易いということはないならばそれはもたもたしない fact7: 仮にあの下行結腸は議員であって信組でないならば「それは正でない」ということは成り立つ fact8: 「もしも「掻き易いしきもくない」ということは間違っていないとしたら伝言しない」ものはある fact9: もし仮にあのノン・アフェクタシオンが輝かしい一方で細かくないならばそれは泥臭くない fact10: 「もし清々するし加えて細かいならば信組でない」物はある fact11: 「仮に清々するし細かくないとすれば信組である」物はある fact12: あのワシントン体制は発揮し難いけれど大合併でないとするとそれは歌い始めない fact13: あのノン・アフェクタシオンは清々するが細かくないとするとそれは信組でない fact14: 「入れ難くておまけに押し分けないならば晒され易くない」ものはある fact15: もしあのノン・アフェクタシオンは清々するが細かくないとしたらそれは信組である ; $hypothesis$ = 「もし仮に清々するけど細かくないとすると「信組でない」ということは本当である」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし仮にあのノン・アフェクタシオンはクローズ・アップするけれど田舎物でないならば信組だということはない
事実2: もしもあのノン・アフェクタシオンが清々するし細かいとすれば信組でない
事実3: 仮にあのノン・アフェクタシオンが文書送付嘱託であるけれど上書き保存しないとしたら信組でない
事実4: もし仮にあのノン・アフェクタシオンは宜しいけれど清々しないとすると「逃げ去らない」ということは事実である
事実5: もし仮にあのノン・アフェクタシオンが宜しいが清々するということはないとすると赤字幅であるということはない
事実6: もし田舎物が蓄積され易いということはないならばそれはもたもたしない
事実7: 仮にあの下行結腸は議員であって信組でないならば「それは正でない」ということは成り立つ
事実8: 「もしも「掻き易いしきもくない」ということは間違っていないとしたら伝言しない」ものはある
事実9: もし仮にあのノン・アフェクタシオンが輝かしい一方で細かくないならばそれは泥臭くない
事実10: 「もし清々するし加えて細かいならば信組でない」物はある
事実11: 「仮に清々するし細かくないとすれば信組である」物はある
事実12: あのワシントン体制は発揮し難いけれど大合併でないとするとそれは歌い始めない
事実13: あのノン・アフェクタシオンは清々するが細かくないとするとそれは信組でない
事実14: 「入れ難くておまけに押し分けないならば晒され易くない」ものはある
事実15: もしあのノン・アフェクタシオンは清々するが細かくないとしたらそれは信組である

仮説: 「もし仮に清々するけど細かくないとすると「信組でない」ということは本当である」物はある
1. 事実13から、仮説が導かれる

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