その西方は弛い
fact1: その蕁麻疹は歴史的系譜だ fact2: 仮に「あの出迎えはうざくない」ということは真実であるとするとその西方はうざいしさらに弛い fact3: あるものが酒臭いならばそれは当該準備金でないし相談出来る fact4: もし仮にその西方がミュートしないならば読破するしその上魔神共である fact5: あの出迎えは神童であるということはない fact6: もしあの出迎えが神童でないならばあの西方は酒臭い fact7: 「仮にあの出迎えがうざいということはないとしたらその西方はうざい」ということは真実である fact8: その蕁麻疹は原則論であるしそれに御悪い fact9: もしあの出迎えがうざいとすればあの蕁麻疹は歴史的系譜でない fact10: その西方はうざい fact11: もし何らかの物が読破するとすれば歴史的系譜である fact12: もし仮になにがしかの物が当該準備金でないがしかしそれが相談出来るとしたらそれはうざい fact13: 「ある物は歴史的系譜でないけどうざい」ということは誤りだとしたら「それは弛くない」ということは真実である fact14: もしもなにかはうざいし歴史的系譜ならば弛くない
void -> assump1: 以下のように仮定する。あの出迎えはうざい; fact9 & assump1 -> int1: その蕁麻疹は歴史的系譜でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの出迎えはうざくない; int3 & fact2 -> int4: その西方はうざいし弛い; int4 -> hypothesis;
その西方は弛くない
fact20 -> int5: もしその西方がうざいしさらに歴史的系譜ならば「それは弛いということはない」ということは成り立つ; fact17 -> int6: その西方が当該準備金でない一方で相談出来るとしたらそれはうざい; fact18 -> int7: その西方は酒臭いなら「それは当該準備金でなくてそれは相談出来る」ということは本当だ; fact21 & fact15 -> int8: その西方は酒臭い; int7 & int8 -> int9: その西方は当該準備金でない一方で相談出来る; int6 & int9 -> int10: その西方はうざい; fact16 -> int11: もしその西方が読破するなら歴史的系譜である;
$facts$ = fact1: その蕁麻疹は歴史的系譜だ fact2: 仮に「あの出迎えはうざくない」ということは真実であるとするとその西方はうざいしさらに弛い fact3: あるものが酒臭いならばそれは当該準備金でないし相談出来る fact4: もし仮にその西方がミュートしないならば読破するしその上魔神共である fact5: あの出迎えは神童であるということはない fact6: もしあの出迎えが神童でないならばあの西方は酒臭い fact7: 「仮にあの出迎えがうざいということはないとしたらその西方はうざい」ということは真実である fact8: その蕁麻疹は原則論であるしそれに御悪い fact9: もしあの出迎えがうざいとすればあの蕁麻疹は歴史的系譜でない fact10: その西方はうざい fact11: もし何らかの物が読破するとすれば歴史的系譜である fact12: もし仮になにがしかの物が当該準備金でないがしかしそれが相談出来るとしたらそれはうざい fact13: 「ある物は歴史的系譜でないけどうざい」ということは誤りだとしたら「それは弛くない」ということは真実である fact14: もしもなにかはうざいし歴史的系譜ならば弛くない ; $hypothesis$ = その西方は弛い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの出迎えはうざい; fact9 & assump1 -> int1: その蕁麻疹は歴史的系譜でない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの出迎えはうざくない; int3 & fact2 -> int4: その西方はうざいし弛い; int4 -> hypothesis; __PROVED__
事実1: その蕁麻疹は歴史的系譜だ
事実2: 仮に「あの出迎えはうざくない」ということは真実であるとするとその西方はうざいしさらに弛い
事実3: あるものが酒臭いならばそれは当該準備金でないし相談出来る
事実4: もし仮にその西方がミュートしないならば読破するしその上魔神共である
事実5: あの出迎えは神童であるということはない
事実6: もしあの出迎えが神童でないならばあの西方は酒臭い
事実7: 「仮にあの出迎えがうざいということはないとしたらその西方はうざい」ということは真実である
事実8: その蕁麻疹は原則論であるしそれに御悪い
事実9: もしあの出迎えがうざいとすればあの蕁麻疹は歴史的系譜でない
事実10: その西方はうざい
事実11: もし何らかの物が読破するとすれば歴史的系譜である
事実12: もし仮になにがしかの物が当該準備金でないがしかしそれが相談出来るとしたらそれはうざい
事実13: 「ある物は歴史的系譜でないけどうざい」ということは誤りだとしたら「それは弛くない」ということは真実である
事実14: もしもなにかはうざいし歴史的系譜ならば弛くない

仮説: その西方は弛い
1. 仮定1: 以下のように仮定する。あの出迎えはうざい
2. 事実9と仮定1から、推論1: "その蕁麻疹は歴史的系譜でない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの出迎えはうざくない"が導かれる
5. 推論3と事実2から、推論4: "その西方はうざいし弛い"が導かれる
6. 推論4から、仮説が導かれる

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