もしもこの温度は飛び回り始めるなら「「この第一次調査はあたふたしなくてそれは一元把握出来るということはない」ということは嘘だ」ということは成り立つ
fact1: この第一次調査はあたふたすれば「この温度は一元把握出来ないが飛び回り始める」ということは誤りである fact2: 仮にこの温度は一元把握出来るなら「この第一次調査は飛び回り始めるということはないがしかしそれはあたふたする」ということは確かでない fact3: 「この温度は飛び回り始める」ということは確かだとすれば「この第一次調査はあたふたするが一元把握出来ない」ということは真実であるということはない fact4: もしもとある物が空き時間でないとしたらそれは一元把握出来るしそれは飛び回り始める fact5: もし仮に「あたふたする」ものがあるならこの第一次調査は一元把握出来ないしおまけに飛び回り始めない fact6: 仮に「飛び回り始める」物はあるなら「この第一次調査はあたふたしないしまた一元把握出来ない」ということは間違いである fact7: 仮に「飛び回り始める」ものはあるなら「「この第一次調査はあたふたするけれどそれは一元把握出来ない」ということは成り立つということはない」ということは本当である fact8: 「この第一次調査はあたふたするけど飛び回り始めない」ということは成り立たない fact9: 仮にあるものは飛び回り始めるとすると「庇護であるということはなくてまたあたふたしない」ということは間違っている fact10: この台木は出難いということはないし更に壊れ難くない fact11: もしもこの温度が飛び回り始めるとするとこの第一次調査はあたふたしなくてその上一元把握出来ない fact12: 仮にこの温度はあたふたするなら「この第一次調査は一元把握出来るがしかし飛び回り始めない」ということは成り立たない fact13: 「この第一次調査は飛び回り始めないしおまけにそれはあたふたしない」ということは成り立たない
void -> assump1: 以下のように仮定する。この温度は飛び回り始める; assump1 -> int1: 「「飛び回り始める」ということは成り立つ」物はある; int1 & fact6 -> int2: 「この第一次調査はあたふたしないし一元把握出来ない」ということは間違いだ; [assump1] & int2 -> hypothesis;
「「あのセンテンスは庇護でなくて更にそれはあたふたしない」ということは間違いだ」ということは本当だ
fact15 -> int3: もしもあのセンテンスは飛び回り始めるなら「「庇護でないししかもそれはあたふたしない」ということは確かである」ということは成り立たない; fact14 -> int4: あのセンテンスが空き時間でないとすると一元把握出来るし加えて飛び回り始める;
$facts$ = fact1: この第一次調査はあたふたすれば「この温度は一元把握出来ないが飛び回り始める」ということは誤りである fact2: 仮にこの温度は一元把握出来るなら「この第一次調査は飛び回り始めるということはないがしかしそれはあたふたする」ということは確かでない fact3: 「この温度は飛び回り始める」ということは確かだとすれば「この第一次調査はあたふたするが一元把握出来ない」ということは真実であるということはない fact4: もしもとある物が空き時間でないとしたらそれは一元把握出来るしそれは飛び回り始める fact5: もし仮に「あたふたする」ものがあるならこの第一次調査は一元把握出来ないしおまけに飛び回り始めない fact6: 仮に「飛び回り始める」物はあるなら「この第一次調査はあたふたしないしまた一元把握出来ない」ということは間違いである fact7: 仮に「飛び回り始める」ものはあるなら「「この第一次調査はあたふたするけれどそれは一元把握出来ない」ということは成り立つということはない」ということは本当である fact8: 「この第一次調査はあたふたするけど飛び回り始めない」ということは成り立たない fact9: 仮にあるものは飛び回り始めるとすると「庇護であるということはなくてまたあたふたしない」ということは間違っている fact10: この台木は出難いということはないし更に壊れ難くない fact11: もしもこの温度が飛び回り始めるとするとこの第一次調査はあたふたしなくてその上一元把握出来ない fact12: 仮にこの温度はあたふたするなら「この第一次調査は一元把握出来るがしかし飛び回り始めない」ということは成り立たない fact13: 「この第一次調査は飛び回り始めないしおまけにそれはあたふたしない」ということは成り立たない ; $hypothesis$ = もしもこの温度は飛び回り始めるなら「「この第一次調査はあたふたしなくてそれは一元把握出来るということはない」ということは嘘だ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この温度は飛び回り始める; assump1 -> int1: 「「飛び回り始める」ということは成り立つ」物はある; int1 & fact6 -> int2: 「この第一次調査はあたふたしないし一元把握出来ない」ということは間違いだ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この第一次調査はあたふたすれば「この温度は一元把握出来ないが飛び回り始める」ということは誤りである
事実2: 仮にこの温度は一元把握出来るなら「この第一次調査は飛び回り始めるということはないがしかしそれはあたふたする」ということは確かでない
事実3: 「この温度は飛び回り始める」ということは確かだとすれば「この第一次調査はあたふたするが一元把握出来ない」ということは真実であるということはない
事実4: もしもとある物が空き時間でないとしたらそれは一元把握出来るしそれは飛び回り始める
事実5: もし仮に「あたふたする」ものがあるならこの第一次調査は一元把握出来ないしおまけに飛び回り始めない
事実6: 仮に「飛び回り始める」物はあるなら「この第一次調査はあたふたしないしまた一元把握出来ない」ということは間違いである
事実7: 仮に「飛び回り始める」ものはあるなら「「この第一次調査はあたふたするけれどそれは一元把握出来ない」ということは成り立つということはない」ということは本当である
事実8: 「この第一次調査はあたふたするけど飛び回り始めない」ということは成り立たない
事実9: 仮にあるものは飛び回り始めるとすると「庇護であるということはなくてまたあたふたしない」ということは間違っている
事実10: この台木は出難いということはないし更に壊れ難くない
事実11: もしもこの温度が飛び回り始めるとするとこの第一次調査はあたふたしなくてその上一元把握出来ない
事実12: 仮にこの温度はあたふたするなら「この第一次調査は一元把握出来るがしかし飛び回り始めない」ということは成り立たない
事実13: 「この第一次調査は飛び回り始めないしおまけにそれはあたふたしない」ということは成り立たない

仮説: もしもこの温度は飛び回り始めるなら「「この第一次調査はあたふたしなくてそれは一元把握出来るということはない」ということは嘘だ」ということは成り立つ
1. 仮定1: 以下のように仮定する。この温度は飛び回り始める
2. 仮定1から、推論1: "「「飛び回り始める」ということは成り立つ」物はある"が導かれる
3. 推論1と事実6から、推論2: "「この第一次調査はあたふたしないし一元把握出来ない」ということは間違いだ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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