そのユーザーアカウントは四角くない
fact1: 「このＳＸＦは変転するということはないか国際性でないかあるいはどちらもだ」ということは正しいということはない fact2: 仮にこのＳＸＦはモトロでないとすると「その舞台部は満たし続けるがしかしモトロでない」ということは誤りである fact3: もしもその舞台部は商店街でないとしたら「このＳＸＦはこんがらがらない」ということは成り立つ fact4: もしもこの蘭学ノートは国際性でないとしたら「そのシャッターボタンは支店でないし加えて国際性でない」ということは間違っている fact5: もしとあるものが犯人扱いするということはないとしたら水臭くない fact6: ある物は嫉妬深い fact7: あるものがこんがらがるということはないとすれば満たし続けない fact8: とあるものは嫉妬深いなら「それは支店であるということはないしおまけにそれは満たし続けない」ということは誤りである fact9: このＳＸＦは商店街だ fact10: もしも「「モトロでないか商店街でないかどちらもだ」ということは成り立たない」ものがあればこの蘭学ノートは国際性でない fact11: 「このＳＸＦは国際性でない一方でこんがらがる」ということは間違いである fact12: このＳＸＦは嫉妬深い fact13: その舞台部は商店街でないかあるいはこんがらがるということはない fact14: そのシャッターボタンは発情しない fact15: そのユーザーアカウントは発情するとすれば「それは嫉妬深くない」ということは成り立たない fact16: 「その成文堂は欺かなくてその上満たし続けない」ということは成り立つということはない fact17: もしこのＳＸＦは支店であるということはないなら「この蘭学ノートは国際性であるし加えてこんがらがる」ということは偽だ fact18: その舞台部は財政操作である fact19: そのシャッターボタンは満たし続けるけど支店であるということはない fact20: 仮にその舞台部はモトロでないなら「このＳＸＦはこんがらがらない」ということは本当だ fact21: 仮にこのＳＸＦが嫉妬深いけれど満たし続けないならそのユーザーアカウントは四角いということはない fact22: 仮に何らかのものがこんがらがらないとすればそれは四角いし国際性だ fact23: そのシャッターボタンが発情しないとしたらそれは支店でないしそれは国際性でない fact24: あの第四百十四夜間戦闘飛行隊は発情しない
void -> assump1: 以下のように仮定する。「その舞台部はモトロでないかまたは商店街でない」ということは本当でない; assump1 -> int1: 「「「モトロでないか商店街でないかどちらもだ」ということは間違いな」物はある」ということは真実である; int1 & fact10 -> int2: この蘭学ノートは国際性でない; int2 & fact4 -> int3: 「そのシャッターボタンは支店でないしさらに国際性でない」ということは間違いである; fact14 & fact23 -> int4: そのシャッターボタンは支店でなくてかつそれは国際性でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その舞台部はモトロでないか商店街でないかどちらもだ; int6 & fact20 & fact3 -> int7: このＳＸＦはこんがらがらない; fact7 -> int8: 仮にこのＳＸＦがこんがらがらないとすれば満たし続けない; int7 & int8 -> int9: このＳＸＦは満たし続けない; int9 & fact12 -> int10: このＳＸＦは嫉妬深いけれど満たし続けない; int10 & fact21 -> hypothesis;
そのシャッターボタンは商店街でない
$facts$ = fact1: 「このＳＸＦは変転するということはないか国際性でないかあるいはどちらもだ」ということは正しいということはない fact2: 仮にこのＳＸＦはモトロでないとすると「その舞台部は満たし続けるがしかしモトロでない」ということは誤りである fact3: もしもその舞台部は商店街でないとしたら「このＳＸＦはこんがらがらない」ということは成り立つ fact4: もしもこの蘭学ノートは国際性でないとしたら「そのシャッターボタンは支店でないし加えて国際性でない」ということは間違っている fact5: もしとあるものが犯人扱いするということはないとしたら水臭くない fact6: ある物は嫉妬深い fact7: あるものがこんがらがるということはないとすれば満たし続けない fact8: とあるものは嫉妬深いなら「それは支店であるということはないしおまけにそれは満たし続けない」ということは誤りである fact9: このＳＸＦは商店街だ fact10: もしも「「モトロでないか商店街でないかどちらもだ」ということは成り立たない」ものがあればこの蘭学ノートは国際性でない fact11: 「このＳＸＦは国際性でない一方でこんがらがる」ということは間違いである fact12: このＳＸＦは嫉妬深い fact13: その舞台部は商店街でないかあるいはこんがらがるということはない fact14: そのシャッターボタンは発情しない fact15: そのユーザーアカウントは発情するとすれば「それは嫉妬深くない」ということは成り立たない fact16: 「その成文堂は欺かなくてその上満たし続けない」ということは成り立つということはない fact17: もしこのＳＸＦは支店であるということはないなら「この蘭学ノートは国際性であるし加えてこんがらがる」ということは偽だ fact18: その舞台部は財政操作である fact19: そのシャッターボタンは満たし続けるけど支店であるということはない fact20: 仮にその舞台部はモトロでないなら「このＳＸＦはこんがらがらない」ということは本当だ fact21: 仮にこのＳＸＦが嫉妬深いけれど満たし続けないならそのユーザーアカウントは四角いということはない fact22: 仮に何らかのものがこんがらがらないとすればそれは四角いし国際性だ fact23: そのシャッターボタンが発情しないとしたらそれは支店でないしそれは国際性でない fact24: あの第四百十四夜間戦闘飛行隊は発情しない ; $hypothesis$ = そのユーザーアカウントは四角くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その舞台部はモトロでないかまたは商店街でない」ということは本当でない; assump1 -> int1: 「「「モトロでないか商店街でないかどちらもだ」ということは間違いな」物はある」ということは真実である; int1 & fact10 -> int2: この蘭学ノートは国際性でない; int2 & fact4 -> int3: 「そのシャッターボタンは支店でないしさらに国際性でない」ということは間違いである; fact14 & fact23 -> int4: そのシャッターボタンは支店でなくてかつそれは国際性でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その舞台部はモトロでないか商店街でないかどちらもだ; int6 & fact20 & fact3 -> int7: このＳＸＦはこんがらがらない; fact7 -> int8: 仮にこのＳＸＦがこんがらがらないとすれば満たし続けない; int7 & int8 -> int9: このＳＸＦは満たし続けない; int9 & fact12 -> int10: このＳＸＦは嫉妬深いけれど満たし続けない; int10 & fact21 -> hypothesis; __PROVED__
事実1: 「このＳＸＦは変転するということはないか国際性でないかあるいはどちらもだ」ということは正しいということはない
事実2: 仮にこのＳＸＦはモトロでないとすると「その舞台部は満たし続けるがしかしモトロでない」ということは誤りである
事実3: もしもその舞台部は商店街でないとしたら「このＳＸＦはこんがらがらない」ということは成り立つ
事実4: もしもこの蘭学ノートは国際性でないとしたら「そのシャッターボタンは支店でないし加えて国際性でない」ということは間違っている
事実5: もしとあるものが犯人扱いするということはないとしたら水臭くない
事実6: ある物は嫉妬深い
事実7: あるものがこんがらがるということはないとすれば満たし続けない
事実8: とあるものは嫉妬深いなら「それは支店であるということはないしおまけにそれは満たし続けない」ということは誤りである
事実9: このＳＸＦは商店街だ
事実10: もしも「「モトロでないか商店街でないかどちらもだ」ということは成り立たない」ものがあればこの蘭学ノートは国際性でない
事実11: 「このＳＸＦは国際性でない一方でこんがらがる」ということは間違いである
事実12: このＳＸＦは嫉妬深い
事実13: その舞台部は商店街でないかあるいはこんがらがるということはない
事実14: そのシャッターボタンは発情しない
事実15: そのユーザーアカウントは発情するとすれば「それは嫉妬深くない」ということは成り立たない
事実16: 「その成文堂は欺かなくてその上満たし続けない」ということは成り立つということはない
事実17: もしこのＳＸＦは支店であるということはないなら「この蘭学ノートは国際性であるし加えてこんがらがる」ということは偽だ
事実18: その舞台部は財政操作である
事実19: そのシャッターボタンは満たし続けるけど支店であるということはない
事実20: 仮にその舞台部はモトロでないなら「このＳＸＦはこんがらがらない」ということは本当だ
事実21: 仮にこのＳＸＦが嫉妬深いけれど満たし続けないならそのユーザーアカウントは四角いということはない
事実22: 仮に何らかのものがこんがらがらないとすればそれは四角いし国際性だ
事実23: そのシャッターボタンが発情しないとしたらそれは支店でないしそれは国際性でない
事実24: あの第四百十四夜間戦闘飛行隊は発情しない

仮説: そのユーザーアカウントは四角くない
1. 仮定1: 以下のように仮定する。「その舞台部はモトロでないかまたは商店街でない」ということは本当でない
2. 仮定1から、推論1: "「「「モトロでないか商店街でないかどちらもだ」ということは間違いな」物はある」ということは真実である"が導かれる
3. 推論1と事実10から、推論2: "この蘭学ノートは国際性でない"が導かれる
4. 推論2と事実4から、推論3: "「そのシャッターボタンは支店でないしさらに国際性でない」ということは間違いである"が導かれる
5. 事実14と事実23から、推論4: "そのシャッターボタンは支店でなくてかつそれは国際性でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その舞台部はモトロでないか商店街でないかどちらもだ"が導かれる
8. 推論6と事実20と事実3から、推論7: "このＳＸＦはこんがらがらない"が導かれる
9. 事実7から、推論8: "仮にこのＳＸＦがこんがらがらないとすれば満たし続けない"が導かれる
10. 推論7と推論8から、推論9: "このＳＸＦは満たし続けない"が導かれる
11. 推論9と事実12から、推論10: "このＳＸＦは嫉妬深いけれど満たし続けない"が導かれる
12. 推論10と事実21から、仮説が導かれる

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