この団体競技はおっかしくない
fact1: 会話らしくない物は発効しなくてまた呼べない fact2: この団体競技は会話らしくないなら「その蝦は発効するしかつおっかしい」ということは間違っている fact3: 仮にその誇大妄想は呼べるなら「その御殿山は発効するということはなくて呼べない」ということは成り立たない fact4: もしもその御殿山はリセットしないなら「会話らしくない」ということは本当だ fact5: もし仮にこの団体競技が撒くがしかし惨敗しないならその誇大妄想は呼べる fact6: もし仮に「とある物は撒くけれど惨敗しない」ということは成り立つということはないとすると「おっかしくない」ということは確かだ fact7: その御殿山はリセットしない fact8: もし「なんらかの物は発効するしそれはおっかしい」ということは間違いだとすると呼べない
void -> assump1: 以下のように仮定する。この団体競技は撒くが惨敗するということはない; fact5 & assump1 -> int1: その誇大妄想は呼べる; int1 & fact3 -> int2: 「その御殿山は発効しないしかつ呼べない」ということは成り立たない; fact1 -> int3: その御殿山が会話らしくないなら発効しないしかつそれは呼べない; fact4 & fact7 -> int4: その御殿山は会話らしくない; int3 & int4 -> int5: その御殿山は発効しないしまた呼べない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この団体競技は撒くが惨敗しない」ということは本当でない; fact6 -> int8: もし「この団体競技は撒くが惨敗しない」ということは誤りであるとすればおっかしくない; int7 & int8 -> hypothesis;
その蝦は呼べない
fact9 -> int9: もし「その蝦は発効するしおまけにそれはおっかしい」ということは成り立たないとしたら呼べるということはない;
$facts$ = fact1: 会話らしくない物は発効しなくてまた呼べない fact2: この団体競技は会話らしくないなら「その蝦は発効するしかつおっかしい」ということは間違っている fact3: 仮にその誇大妄想は呼べるなら「その御殿山は発効するということはなくて呼べない」ということは成り立たない fact4: もしもその御殿山はリセットしないなら「会話らしくない」ということは本当だ fact5: もし仮にこの団体競技が撒くがしかし惨敗しないならその誇大妄想は呼べる fact6: もし仮に「とある物は撒くけれど惨敗しない」ということは成り立つということはないとすると「おっかしくない」ということは確かだ fact7: その御殿山はリセットしない fact8: もし「なんらかの物は発効するしそれはおっかしい」ということは間違いだとすると呼べない ; $hypothesis$ = この団体競技はおっかしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この団体競技は撒くが惨敗するということはない; fact5 & assump1 -> int1: その誇大妄想は呼べる; int1 & fact3 -> int2: 「その御殿山は発効しないしかつ呼べない」ということは成り立たない; fact1 -> int3: その御殿山が会話らしくないなら発効しないしかつそれは呼べない; fact4 & fact7 -> int4: その御殿山は会話らしくない; int3 & int4 -> int5: その御殿山は発効しないしまた呼べない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この団体競技は撒くが惨敗しない」ということは本当でない; fact6 -> int8: もし「この団体競技は撒くが惨敗しない」ということは誤りであるとすればおっかしくない; int7 & int8 -> hypothesis; __PROVED__
事実1: 会話らしくない物は発効しなくてまた呼べない
事実2: この団体競技は会話らしくないなら「その蝦は発効するしかつおっかしい」ということは間違っている
事実3: 仮にその誇大妄想は呼べるなら「その御殿山は発効するということはなくて呼べない」ということは成り立たない
事実4: もしもその御殿山はリセットしないなら「会話らしくない」ということは本当だ
事実5: もし仮にこの団体競技が撒くがしかし惨敗しないならその誇大妄想は呼べる
事実6: もし仮に「とある物は撒くけれど惨敗しない」ということは成り立つということはないとすると「おっかしくない」ということは確かだ
事実7: その御殿山はリセットしない
事実8: もし「なんらかの物は発効するしそれはおっかしい」ということは間違いだとすると呼べない

仮説: この団体競技はおっかしくない
1. 仮定1: 以下のように仮定する。この団体競技は撒くが惨敗するということはない
2. 事実5と仮定1から、推論1: "その誇大妄想は呼べる"が導かれる
3. 推論1と事実3から、推論2: "「その御殿山は発効しないしかつ呼べない」ということは成り立たない"が導かれる
4. 事実1から、推論3: "その御殿山が会話らしくないなら発効しないしかつそれは呼べない"が導かれる
5. 事実4と事実7から、推論4: "その御殿山は会話らしくない"が導かれる
6. 推論3と推論4から、推論5: "その御殿山は発効しないしまた呼べない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この団体競技は撒くが惨敗しない」ということは本当でない"が導かれる
9. 事実6から、推論8: "もし「この団体競技は撒くが惨敗しない」ということは誤りであるとすればおっかしくない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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