「「否定・肯定両方でない」物はある」ということは成り立たない
fact1: もし仮になんらかのものが間違い無いとするとそれは監視し易くない fact2: もしもあの正常人が洗練するとしたらそれは監視し易い fact3: 仮に「「何らかの物は垂れ込めないが間違い無い」ということは本当である」ということは間違いだとすると「間違い無いということはない」ということは成り立つ fact4: もし「なにがしかのものは洗練しないが御招待頂く」ということは成り立つということはないならそれは監視し易い fact5: 「とある物は監視し易くないなら「垂れ込めないけれど間違い無い」ということは誤りだ」ということは事実だ fact6: 「あの正常人は垂れ込めない」ということは本当であるとしたら「それは洗練しない一方で御招待頂く」ということは誤りだ fact7: もしあの正常人が間違い無いならばそれは監視し易くない fact8: 「あの正常人は人恋しいししかもそれは間違い無い」ということは間違いだ fact9: 仮にあの設定後は嫌味っぽくないけど垂れ込めるとすると否定・肯定両方でない fact10: もし嫌味っぽくない物が垂れ込めないなら否定・肯定両方でない fact11: もしもあの設定後は嫌味っぽいがしかし垂れ込めるということはないとすると否定・肯定両方でない fact12: もしあの正常人は垂れ込めないなら「それは洗練するしそれに御招待頂く」ということは成り立つということはない fact13: もしもなんらかの物が洗練すれば監視し易い fact14: 「あの正常人は洗練するしまた御招待頂く」ということは間違いである fact15: 「否定・肯定両方である」ものはある fact16: もし仮に「あの設定後は戻り為さるけれどそれは御招待頂かない」ということは間違いであるならばそれは奉仕でない fact17: あの設定後は短距離ミサイルでない fact18: もしも「あの正常人は嫌味っぽいということはなくておまけに監視し易くない」ということは事実と異なるとするとその親近性は監視し易くない fact19: もしも「何かは人恋しいがしかし間違い無くない」ということは間違いだとしたらそれは監視し易くない fact20: 人恋しいしそれは間違い無いというものはない fact21: もし嫌味っぽくないものが垂れ込めるとすると否定・肯定両方でない fact22: もしあの正常人が垂れ込めるとするとあの設定後は嫌味っぽくないししかも垂れ込めない fact23: 「それは人恋しいがしかし間違い無くない」ということは本当であるというものはない
void -> assump1: 以下のように仮定する。あの正常人は垂れ込めない; fact6 & assump1 -> int1: 「あの正常人は洗練しない一方で御招待頂く」ということは成り立たない; fact4 -> int2: 仮に「あの正常人は洗練しないがしかし御招待頂く」ということは嘘であるとするとそれは監視し易い; int1 & int2 -> int3: あの正常人は監視し易い; fact23 -> int4: 「「あの正常人は人恋しいけどそれは間違い無くない」ということは事実だ」ということは事実と異なる; fact19 -> int5: 「あの正常人は人恋しい一方でそれは間違い無くない」ということは間違っているとすると監視し易くない; int4 & int5 -> int6: あの正常人は監視し易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの正常人は垂れ込める; int8 & fact22 -> int9: あの設定後は嫌味っぽくないし加えてそれは垂れ込めるということはない; fact10 -> int10: あの設定後が嫌味っぽくないしおまけに垂れ込めないなら否定・肯定両方でない; int9 & int10 -> int11: あの設定後は否定・肯定両方でない; int11 -> hypothesis;
その親近性は間違い無くない
fact25 -> int12: もし「その親近性は垂れ込めない一方でそれは間違い無い」ということは嘘だとするとそれは間違い無くない; fact24 -> int13: もしその親近性は監視し易くないならば「垂れ込めないしそれにそれは間違い無い」ということは誤っている;
$facts$ = fact1: もし仮になんらかのものが間違い無いとするとそれは監視し易くない fact2: もしもあの正常人が洗練するとしたらそれは監視し易い fact3: 仮に「「何らかの物は垂れ込めないが間違い無い」ということは本当である」ということは間違いだとすると「間違い無いということはない」ということは成り立つ fact4: もし「なにがしかのものは洗練しないが御招待頂く」ということは成り立つということはないならそれは監視し易い fact5: 「とある物は監視し易くないなら「垂れ込めないけれど間違い無い」ということは誤りだ」ということは事実だ fact6: 「あの正常人は垂れ込めない」ということは本当であるとしたら「それは洗練しない一方で御招待頂く」ということは誤りだ fact7: もしあの正常人が間違い無いならばそれは監視し易くない fact8: 「あの正常人は人恋しいししかもそれは間違い無い」ということは間違いだ fact9: 仮にあの設定後は嫌味っぽくないけど垂れ込めるとすると否定・肯定両方でない fact10: もし嫌味っぽくない物が垂れ込めないなら否定・肯定両方でない fact11: もしもあの設定後は嫌味っぽいがしかし垂れ込めるということはないとすると否定・肯定両方でない fact12: もしあの正常人は垂れ込めないなら「それは洗練するしそれに御招待頂く」ということは成り立つということはない fact13: もしもなんらかの物が洗練すれば監視し易い fact14: 「あの正常人は洗練するしまた御招待頂く」ということは間違いである fact15: 「否定・肯定両方である」ものはある fact16: もし仮に「あの設定後は戻り為さるけれどそれは御招待頂かない」ということは間違いであるならばそれは奉仕でない fact17: あの設定後は短距離ミサイルでない fact18: もしも「あの正常人は嫌味っぽいということはなくておまけに監視し易くない」ということは事実と異なるとするとその親近性は監視し易くない fact19: もしも「何かは人恋しいがしかし間違い無くない」ということは間違いだとしたらそれは監視し易くない fact20: 人恋しいしそれは間違い無いというものはない fact21: もし嫌味っぽくないものが垂れ込めるとすると否定・肯定両方でない fact22: もしあの正常人が垂れ込めるとするとあの設定後は嫌味っぽくないししかも垂れ込めない fact23: 「それは人恋しいがしかし間違い無くない」ということは本当であるというものはない ; $hypothesis$ = 「「否定・肯定両方でない」物はある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの正常人は垂れ込めない; fact6 & assump1 -> int1: 「あの正常人は洗練しない一方で御招待頂く」ということは成り立たない; fact4 -> int2: 仮に「あの正常人は洗練しないがしかし御招待頂く」ということは嘘であるとするとそれは監視し易い; int1 & int2 -> int3: あの正常人は監視し易い; fact23 -> int4: 「「あの正常人は人恋しいけどそれは間違い無くない」ということは事実だ」ということは事実と異なる; fact19 -> int5: 「あの正常人は人恋しい一方でそれは間違い無くない」ということは間違っているとすると監視し易くない; int4 & int5 -> int6: あの正常人は監視し易くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの正常人は垂れ込める; int8 & fact22 -> int9: あの設定後は嫌味っぽくないし加えてそれは垂れ込めるということはない; fact10 -> int10: あの設定後が嫌味っぽくないしおまけに垂れ込めないなら否定・肯定両方でない; int9 & int10 -> int11: あの設定後は否定・肯定両方でない; int11 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが間違い無いとするとそれは監視し易くない
事実2: もしもあの正常人が洗練するとしたらそれは監視し易い
事実3: 仮に「「何らかの物は垂れ込めないが間違い無い」ということは本当である」ということは間違いだとすると「間違い無いということはない」ということは成り立つ
事実4: もし「なにがしかのものは洗練しないが御招待頂く」ということは成り立つということはないならそれは監視し易い
事実5: 「とある物は監視し易くないなら「垂れ込めないけれど間違い無い」ということは誤りだ」ということは事実だ
事実6: 「あの正常人は垂れ込めない」ということは本当であるとしたら「それは洗練しない一方で御招待頂く」ということは誤りだ
事実7: もしあの正常人が間違い無いならばそれは監視し易くない
事実8: 「あの正常人は人恋しいししかもそれは間違い無い」ということは間違いだ
事実9: 仮にあの設定後は嫌味っぽくないけど垂れ込めるとすると否定・肯定両方でない
事実10: もし嫌味っぽくない物が垂れ込めないなら否定・肯定両方でない
事実11: もしもあの設定後は嫌味っぽいがしかし垂れ込めるということはないとすると否定・肯定両方でない
事実12: もしあの正常人は垂れ込めないなら「それは洗練するしそれに御招待頂く」ということは成り立つということはない
事実13: もしもなんらかの物が洗練すれば監視し易い
事実14: 「あの正常人は洗練するしまた御招待頂く」ということは間違いである
事実15: 「否定・肯定両方である」ものはある
事実16: もし仮に「あの設定後は戻り為さるけれどそれは御招待頂かない」ということは間違いであるならばそれは奉仕でない
事実17: あの設定後は短距離ミサイルでない
事実18: もしも「あの正常人は嫌味っぽいということはなくておまけに監視し易くない」ということは事実と異なるとするとその親近性は監視し易くない
事実19: もしも「何かは人恋しいがしかし間違い無くない」ということは間違いだとしたらそれは監視し易くない
事実20: 人恋しいしそれは間違い無いというものはない
事実21: もし嫌味っぽくないものが垂れ込めるとすると否定・肯定両方でない
事実22: もしあの正常人が垂れ込めるとするとあの設定後は嫌味っぽくないししかも垂れ込めない
事実23: 「それは人恋しいがしかし間違い無くない」ということは本当であるというものはない

仮説: 「「否定・肯定両方でない」物はある」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの正常人は垂れ込めない
2. 事実6と仮定1から、推論1: "「あの正常人は洗練しない一方で御招待頂く」ということは成り立たない"が導かれる
3. 事実4から、推論2: "仮に「あの正常人は洗練しないがしかし御招待頂く」ということは嘘であるとするとそれは監視し易い"が導かれる
4. 推論1と推論2から、推論3: "あの正常人は監視し易い"が導かれる
5. 事実23から、推論4: "「「あの正常人は人恋しいけどそれは間違い無くない」ということは事実だ」ということは事実と異なる"が導かれる
6. 事実19から、推論5: "「あの正常人は人恋しい一方でそれは間違い無くない」ということは間違っているとすると監視し易くない"が導かれる
7. 推論4と推論5から、推論6: "あの正常人は監視し易くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの正常人は垂れ込める"が導かれる
10. 推論8と事実22から、推論9: "あの設定後は嫌味っぽくないし加えてそれは垂れ込めるということはない"が導かれる
11. 事実10から、推論10: "あの設定後が嫌味っぽくないしおまけに垂れ込めないなら否定・肯定両方でない"が導かれる
12. 推論9と推論10から、推論11: "あの設定後は否定・肯定両方でない"が導かれる
13. 推論11から、仮説が否定される

よって、仮説が否定されました。