この応募方法は疲れる
fact1: 仮にそのサイクルが狡っ辛いならこの応募方法は疲れる fact2: その深凹版印刷は同一コラム内でないかおっかないかまたは両方だ fact3: 何かは吐き続けないし狡っ辛いということはないなら「疲れない」ということは確かだ fact4: その御茶請けは疲れる fact5: もしこの丑年が愛国心だしそれが枯らすとするとこの応募方法は吐き続けない fact6: そのサイクルは吐き続ける fact7: もし「なにかは主流社会であるかあるいはそれは保証出来るということはない」ということは偽であるとするとそれは吐き続けない fact8: そのサイクルは主流社会でない fact9: 仮にこの応募方法が保証出来るとしたらそのサイクルは疲れる fact10: この丑年は愛国心だ fact11: もし仮にその深凹版印刷が同一コラム内でないかおっかないならこの応募方法は同一コラム内である fact12: ある物が主流社会ならそれは狡っ辛い fact13: もしも何かは主流社会であるかあるいは保証出来ないかもしくはどちらもならそれは狡っ辛い fact14: もしもなんらかの物が疑問点であるかそれが倒れ難くないならばそれは放卵する fact15: すべての物は写真付きでその上枯らす fact16: もし仮に何らかのものは見惚れるかあるいは疎ましかないならばそれは諸氏である fact17: 仮に「「そのサイクルは主流社会であるかもしくは吐き続けないかまたは両方だ」ということは成り立たない」ということは事実であるならそれは疲れない fact18: 「そのサイクルは主流社会だ」ということは成り立つとすると「それは狡っ辛い」ということは真実である
fact7 -> int1: 「そのサイクルは主流社会であるかもしくはそれは保証出来ないかもしくはどちらもだ」ということは事実と異なるなら「吐き続けない」ということは事実である; void -> assump1: 以下のように仮定する。「そのサイクルは主流社会であるかもしくは保証出来るということはないかあるいは両方ともである」ということは成り立つということはない; int1 & assump1 -> int2: そのサイクルは吐き続けない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのサイクルは主流社会であるかもしくは保証出来ない; fact13 -> int5: 仮にそのサイクルは主流社会であるかもしくは保証出来ないかあるいは両方ともであるとしたらそれは狡っ辛い; int4 & int5 -> int6: そのサイクルは狡っ辛い; int6 & fact1 -> hypothesis;
この応募方法は疲れない
fact20 -> int7: もし仮にこの応募方法が吐き続けなくておまけに狡っ辛くないとしたらそれは疲れるということはない; fact24 -> int8: その不定語は写真付きで枯らす; int8 -> int9: その不定語は枯らす; int9 -> int10: すべては枯らす; int10 -> int11: この丑年は枯らす; int11 & fact21 -> int12: この丑年は愛国心であるしさらに枯らす; int12 & fact19 -> int13: この応募方法は吐き続けない; fact23 & fact22 -> int14: この応募方法は同一コラム内である;
$facts$ = fact1: 仮にそのサイクルが狡っ辛いならこの応募方法は疲れる fact2: その深凹版印刷は同一コラム内でないかおっかないかまたは両方だ fact3: 何かは吐き続けないし狡っ辛いということはないなら「疲れない」ということは確かだ fact4: その御茶請けは疲れる fact5: もしこの丑年が愛国心だしそれが枯らすとするとこの応募方法は吐き続けない fact6: そのサイクルは吐き続ける fact7: もし「なにかは主流社会であるかあるいはそれは保証出来るということはない」ということは偽であるとするとそれは吐き続けない fact8: そのサイクルは主流社会でない fact9: 仮にこの応募方法が保証出来るとしたらそのサイクルは疲れる fact10: この丑年は愛国心だ fact11: もし仮にその深凹版印刷が同一コラム内でないかおっかないならこの応募方法は同一コラム内である fact12: ある物が主流社会ならそれは狡っ辛い fact13: もしも何かは主流社会であるかあるいは保証出来ないかもしくはどちらもならそれは狡っ辛い fact14: もしもなんらかの物が疑問点であるかそれが倒れ難くないならばそれは放卵する fact15: すべての物は写真付きでその上枯らす fact16: もし仮に何らかのものは見惚れるかあるいは疎ましかないならばそれは諸氏である fact17: 仮に「「そのサイクルは主流社会であるかもしくは吐き続けないかまたは両方だ」ということは成り立たない」ということは事実であるならそれは疲れない fact18: 「そのサイクルは主流社会だ」ということは成り立つとすると「それは狡っ辛い」ということは真実である ; $hypothesis$ = この応募方法は疲れる ; $proof$ = 
fact7 -> int1: 「そのサイクルは主流社会であるかもしくはそれは保証出来ないかもしくはどちらもだ」ということは事実と異なるなら「吐き続けない」ということは事実である; void -> assump1: 以下のように仮定する。「そのサイクルは主流社会であるかもしくは保証出来るということはないかあるいは両方ともである」ということは成り立つということはない; int1 & assump1 -> int2: そのサイクルは吐き続けない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのサイクルは主流社会であるかもしくは保証出来ない; fact13 -> int5: 仮にそのサイクルは主流社会であるかもしくは保証出来ないかあるいは両方ともであるとしたらそれは狡っ辛い; int4 & int5 -> int6: そのサイクルは狡っ辛い; int6 & fact1 -> hypothesis; __PROVED__
事実1: 仮にそのサイクルが狡っ辛いならこの応募方法は疲れる
事実2: その深凹版印刷は同一コラム内でないかおっかないかまたは両方だ
事実3: 何かは吐き続けないし狡っ辛いということはないなら「疲れない」ということは確かだ
事実4: その御茶請けは疲れる
事実5: もしこの丑年が愛国心だしそれが枯らすとするとこの応募方法は吐き続けない
事実6: そのサイクルは吐き続ける
事実7: もし「なにかは主流社会であるかあるいはそれは保証出来るということはない」ということは偽であるとするとそれは吐き続けない
事実8: そのサイクルは主流社会でない
事実9: 仮にこの応募方法が保証出来るとしたらそのサイクルは疲れる
事実10: この丑年は愛国心だ
事実11: もし仮にその深凹版印刷が同一コラム内でないかおっかないならこの応募方法は同一コラム内である
事実12: ある物が主流社会ならそれは狡っ辛い
事実13: もしも何かは主流社会であるかあるいは保証出来ないかもしくはどちらもならそれは狡っ辛い
事実14: もしもなんらかの物が疑問点であるかそれが倒れ難くないならばそれは放卵する
事実15: すべての物は写真付きでその上枯らす
事実16: もし仮に何らかのものは見惚れるかあるいは疎ましかないならばそれは諸氏である
事実17: 仮に「「そのサイクルは主流社会であるかもしくは吐き続けないかまたは両方だ」ということは成り立たない」ということは事実であるならそれは疲れない
事実18: 「そのサイクルは主流社会だ」ということは成り立つとすると「それは狡っ辛い」ということは真実である

仮説: この応募方法は疲れる
1. 事実7から、推論1: "「そのサイクルは主流社会であるかもしくはそれは保証出来ないかもしくはどちらもだ」ということは事実と異なるなら「吐き続けない」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。「そのサイクルは主流社会であるかもしくは保証出来るということはないかあるいは両方ともである」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "そのサイクルは吐き続けない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのサイクルは主流社会であるかもしくは保証出来ない"が導かれる
6. 事実13から、推論5: "仮にそのサイクルは主流社会であるかもしくは保証出来ないかあるいは両方ともであるとしたらそれは狡っ辛い"が導かれる
7. 推論4と推論5から、推論6: "そのサイクルは狡っ辛い"が導かれる
8. 推論6と事実1から、仮説が導かれる

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