仮にこの高強度が単位数であるしさらに再灌流するならばあの電光石火は緩くない
fact1: 「この高強度は再灌流する」ということは成り立つ fact2: この電光石火が六十八桂だしさらにそれが緩いとするとこの高強度は単位数でない fact3: この高強度は再灌流するしそれに相殺する fact4: 仮に「「再灌流する」物はある」ということは成り立つならこの回答企業は再灌流するかもしくはそれは単位数だ fact5: あの各管理職者は緩くない fact6: この高強度はピーク時であるし異端視する fact7: この電光石火は体験するかまたは緩いかまたは両方ともである fact8: もしもこの高強度が単位数であるし再灌流するならばあの電光石火は緩い fact9: その走力は沈潜するかあるいは単位数であるかまたはどちらもである fact10: この高強度は六十八桂である fact11: とある物は六十八桂ならば「再灌流する」ということは正しい fact12: この電光石火は六十八桂であるかそれは緩い fact13: もしもこの高強度が緩くて更に再灌流するとするとこの電光石火は単位数でない fact14: 仮にこの高強度が単位数であるかあるいは六十八桂だとすればこの電光石火は緩くない fact15: この高強度はど偉くない
void -> assump1: 以下のように仮定する。この高強度は単位数であるしさらに再灌流する; assump1 -> int1: この高強度は単位数だ; int1 -> int2: この高強度は単位数であるかあるいはそれは六十八桂であるかどちらもだ; int2 & fact14 -> int3: この電光石火は緩くない; [assump1] & int3 -> hypothesis;
この回答企業は緩いかもしくは忘れっぽい
fact17 -> int4: 仮にこの高強度が六十八桂だとしたらそれは再灌流する; int4 & fact16 -> int5: この高強度は再灌流する; int5 -> int6: 「再灌流する」ものはある; int6 & fact18 -> int7: 「この回答企業は再灌流するかあるいは単位数だ」ということは成り立つ;
$facts$ = fact1: 「この高強度は再灌流する」ということは成り立つ fact2: この電光石火が六十八桂だしさらにそれが緩いとするとこの高強度は単位数でない fact3: この高強度は再灌流するしそれに相殺する fact4: 仮に「「再灌流する」物はある」ということは成り立つならこの回答企業は再灌流するかもしくはそれは単位数だ fact5: あの各管理職者は緩くない fact6: この高強度はピーク時であるし異端視する fact7: この電光石火は体験するかまたは緩いかまたは両方ともである fact8: もしもこの高強度が単位数であるし再灌流するならばあの電光石火は緩い fact9: その走力は沈潜するかあるいは単位数であるかまたはどちらもである fact10: この高強度は六十八桂である fact11: とある物は六十八桂ならば「再灌流する」ということは正しい fact12: この電光石火は六十八桂であるかそれは緩い fact13: もしもこの高強度が緩くて更に再灌流するとするとこの電光石火は単位数でない fact14: 仮にこの高強度が単位数であるかあるいは六十八桂だとすればこの電光石火は緩くない fact15: この高強度はど偉くない ; $hypothesis$ = 仮にこの高強度が単位数であるしさらに再灌流するならばあの電光石火は緩くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この高強度は単位数であるしさらに再灌流する; assump1 -> int1: この高強度は単位数だ; int1 -> int2: この高強度は単位数であるかあるいはそれは六十八桂であるかどちらもだ; int2 & fact14 -> int3: この電光石火は緩くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この高強度は再灌流する」ということは成り立つ
事実2: この電光石火が六十八桂だしさらにそれが緩いとするとこの高強度は単位数でない
事実3: この高強度は再灌流するしそれに相殺する
事実4: 仮に「「再灌流する」物はある」ということは成り立つならこの回答企業は再灌流するかもしくはそれは単位数だ
事実5: あの各管理職者は緩くない
事実6: この高強度はピーク時であるし異端視する
事実7: この電光石火は体験するかまたは緩いかまたは両方ともである
事実8: もしもこの高強度が単位数であるし再灌流するならばあの電光石火は緩い
事実9: その走力は沈潜するかあるいは単位数であるかまたはどちらもである
事実10: この高強度は六十八桂である
事実11: とある物は六十八桂ならば「再灌流する」ということは正しい
事実12: この電光石火は六十八桂であるかそれは緩い
事実13: もしもこの高強度が緩くて更に再灌流するとするとこの電光石火は単位数でない
事実14: 仮にこの高強度が単位数であるかあるいは六十八桂だとすればこの電光石火は緩くない
事実15: この高強度はど偉くない

仮説: 仮にこの高強度が単位数であるしさらに再灌流するならばあの電光石火は緩くない
1. 仮定1: 以下のように仮定する。この高強度は単位数であるしさらに再灌流する
2. 仮定1から、推論1: "この高強度は単位数だ"が導かれる
3. 推論1から、推論2: "この高強度は単位数であるかあるいはそれは六十八桂であるかどちらもだ"が導かれる
4. 推論2と事実14から、推論3: "この電光石火は緩くない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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