あの疲労回復は留置するということはない
fact1: もしもとあるものが飛び離れるとしたらそれは謝絶しない fact2: 仮にあの知識創造が悲しないとするとこの横雲は本所側であるし飛び離れる fact3: もしもこの横雲が謝絶しないとするとあの疲労回復は返り始めるしかつ留置する fact4: あの疲労回復は返り始めない fact5: 子供らしくないものは罫線表でなくて悲しということはない fact6: もしあの疲労回復は返り始めないとすると「それは不足し易い一方で鬱陶しかない」ということは成り立たない fact7: もしそのソニア・エイリアスが塗り易いとするとそれは留置するということはない fact8: 「もし仮に「なんらかの物は不足し易い一方で鬱陶しいということはない」ということは成り立たないなら「それは留置するということはない」ということは確かだ」ということは事実である
fact8 -> int1: 仮に「あの疲労回復は不足し易いけど鬱陶しかない」ということは成り立つということはないとすればそれは留置するということはない; fact4 & fact6 -> int2: 「あの疲労回復は不足し易いがしかし鬱陶しいということはない」ということは成り立つということはない; int1 & int2 -> hypothesis;
あの疲労回復は留置する
fact12 -> int3: もしもこの横雲が飛び離れるならそれは謝絶しない; fact9 -> int4: 仮にあの知識創造が子供らしくないならばそれは罫線表でないしそれは悲しない;
$facts$ = fact1: もしもとあるものが飛び離れるとしたらそれは謝絶しない fact2: 仮にあの知識創造が悲しないとするとこの横雲は本所側であるし飛び離れる fact3: もしもこの横雲が謝絶しないとするとあの疲労回復は返り始めるしかつ留置する fact4: あの疲労回復は返り始めない fact5: 子供らしくないものは罫線表でなくて悲しということはない fact6: もしあの疲労回復は返り始めないとすると「それは不足し易い一方で鬱陶しかない」ということは成り立たない fact7: もしそのソニア・エイリアスが塗り易いとするとそれは留置するということはない fact8: 「もし仮に「なんらかの物は不足し易い一方で鬱陶しいということはない」ということは成り立たないなら「それは留置するということはない」ということは確かだ」ということは事実である ; $hypothesis$ = あの疲労回復は留置するということはない ; $proof$ = 
fact8 -> int1: 仮に「あの疲労回復は不足し易いけど鬱陶しかない」ということは成り立つということはないとすればそれは留置するということはない; fact4 & fact6 -> int2: 「あの疲労回復は不足し易いがしかし鬱陶しいということはない」ということは成り立つということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもとあるものが飛び離れるとしたらそれは謝絶しない
事実2: 仮にあの知識創造が悲しないとするとこの横雲は本所側であるし飛び離れる
事実3: もしもこの横雲が謝絶しないとするとあの疲労回復は返り始めるしかつ留置する
事実4: あの疲労回復は返り始めない
事実5: 子供らしくないものは罫線表でなくて悲しということはない
事実6: もしあの疲労回復は返り始めないとすると「それは不足し易い一方で鬱陶しかない」ということは成り立たない
事実7: もしそのソニア・エイリアスが塗り易いとするとそれは留置するということはない
事実8: 「もし仮に「なんらかの物は不足し易い一方で鬱陶しいということはない」ということは成り立たないなら「それは留置するということはない」ということは確かだ」ということは事実である

仮説: あの疲労回復は留置するということはない
1. 事実8から、推論1: "仮に「あの疲労回復は不足し易いけど鬱陶しかない」ということは成り立つということはないとすればそれは留置するということはない"が導かれる
2. 事実4と事実6から、推論2: "「あの疲労回復は不足し易いがしかし鬱陶しいということはない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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