「「「加温でないし加えて設定完了でない」ということは成り立たない」ものはある」ということは事実と異なる
fact1: 「この他場面は受け辛くない」ということは確かだとするとあの蝋細工は伸ばし放題である fact2: そのスティンガー君は移民するがしかしそれは御考え下さらない fact3: もしもあの各シートは設定完了でないとしたら「この他場面は伸ばし放題でない一方でそれは加温だ」ということは成り立たない fact4: あの各シートはＧＨＱであるということはない fact5: この他場面は伸ばし放題でない fact6: そのスティンガー君は確言する fact7: もし仮にある物は伸ばし放題だとすると「冗談っぽくないし消退しない」ということは事実と異なる fact8: もしもあの合法が確言するということはないとすればそれは連鎖しないしかつそれは重層である fact9: もしもそのスティンガー君が御考え下さるということはないけど確言するとしたらあの合法は確言しない fact10: もしこの他場面は伸ばし放題でないとすれば「あの各シートは加温でないし設定完了でない」ということは事実と異なる fact11: 「あの各シートは加温であるということはなくて加えて伸ばし放題でない」ということは嘘である fact12: 「あの各シートは加温だが設定完了でない」ということは事実と異なる fact13: なにかは重層でなくて加えて解すということはない fact14: もしあの各シートは加温でないとすれば「この他場面が設定完了だけどそれは伸ばし放題でない」ということは事実と異なる fact15: 「あの各シートは伸ばし放題でなくてそれは設定完了でない」ということは成り立たない fact16: 「あの各シートは伸ばし放題だということはなくて加温でない」ということは偽である fact17: あの各シートは伸ばし放題でないとすれば「この他場面は加温でないし更に設定完了でない」ということは成り立たない fact18: もしも「あの各シートは受け辛くない」ということは成り立つとしたらこの他場面は受け辛くない fact19: 「保険医療機関若でなくて相即しない」ものはある fact20: 「「設定完了であるがしかし伸ばし放題でない」ということは誤っている」物はある fact21: 「「設定完了でないしさらに伸ばし放題でない」ということは成り立つということはない」物はある
fact10 & fact5 -> int1: 「あの各シートは加温でないしそれは設定完了であるということはない」ということは偽である; int1 -> hypothesis;
「あの蝋細工が冗談っぽくないしさらにそれは消退しない」ということは嘘である
fact27 -> int2: もしもあの蝋細工は伸ばし放題であるなら「それは冗談っぽくないし更に消退しない」ということは成り立たない; fact22 -> int3: そのスティンガー君は御考え下さらない; int3 & fact23 -> int4: そのスティンガー君は御考え下さらないけれど確言する; fact26 & int4 -> int5: あの合法は確言しない; fact24 & int5 -> int6: あの合法は連鎖しないが重層である; int6 -> int7: とある物は連鎖しないけど重層だ;
$facts$ = fact1: 「この他場面は受け辛くない」ということは確かだとするとあの蝋細工は伸ばし放題である fact2: そのスティンガー君は移民するがしかしそれは御考え下さらない fact3: もしもあの各シートは設定完了でないとしたら「この他場面は伸ばし放題でない一方でそれは加温だ」ということは成り立たない fact4: あの各シートはＧＨＱであるということはない fact5: この他場面は伸ばし放題でない fact6: そのスティンガー君は確言する fact7: もし仮にある物は伸ばし放題だとすると「冗談っぽくないし消退しない」ということは事実と異なる fact8: もしもあの合法が確言するということはないとすればそれは連鎖しないしかつそれは重層である fact9: もしもそのスティンガー君が御考え下さるということはないけど確言するとしたらあの合法は確言しない fact10: もしこの他場面は伸ばし放題でないとすれば「あの各シートは加温でないし設定完了でない」ということは事実と異なる fact11: 「あの各シートは加温であるということはなくて加えて伸ばし放題でない」ということは嘘である fact12: 「あの各シートは加温だが設定完了でない」ということは事実と異なる fact13: なにかは重層でなくて加えて解すということはない fact14: もしあの各シートは加温でないとすれば「この他場面が設定完了だけどそれは伸ばし放題でない」ということは事実と異なる fact15: 「あの各シートは伸ばし放題でなくてそれは設定完了でない」ということは成り立たない fact16: 「あの各シートは伸ばし放題だということはなくて加温でない」ということは偽である fact17: あの各シートは伸ばし放題でないとすれば「この他場面は加温でないし更に設定完了でない」ということは成り立たない fact18: もしも「あの各シートは受け辛くない」ということは成り立つとしたらこの他場面は受け辛くない fact19: 「保険医療機関若でなくて相即しない」ものはある fact20: 「「設定完了であるがしかし伸ばし放題でない」ということは誤っている」物はある fact21: 「「設定完了でないしさらに伸ばし放題でない」ということは成り立つということはない」物はある ; $hypothesis$ = 「「「加温でないし加えて設定完了でない」ということは成り立たない」ものはある」ということは事実と異なる ; $proof$ = 
fact10 & fact5 -> int1: 「あの各シートは加温でないしそれは設定完了であるということはない」ということは偽である; int1 -> hypothesis; __DISPROVED__
事実1: 「この他場面は受け辛くない」ということは確かだとするとあの蝋細工は伸ばし放題である
事実2: そのスティンガー君は移民するがしかしそれは御考え下さらない
事実3: もしもあの各シートは設定完了でないとしたら「この他場面は伸ばし放題でない一方でそれは加温だ」ということは成り立たない
事実4: あの各シートはＧＨＱであるということはない
事実5: この他場面は伸ばし放題でない
事実6: そのスティンガー君は確言する
事実7: もし仮にある物は伸ばし放題だとすると「冗談っぽくないし消退しない」ということは事実と異なる
事実8: もしもあの合法が確言するということはないとすればそれは連鎖しないしかつそれは重層である
事実9: もしもそのスティンガー君が御考え下さるということはないけど確言するとしたらあの合法は確言しない
事実10: もしこの他場面は伸ばし放題でないとすれば「あの各シートは加温でないし設定完了でない」ということは事実と異なる
事実11: 「あの各シートは加温であるということはなくて加えて伸ばし放題でない」ということは嘘である
事実12: 「あの各シートは加温だが設定完了でない」ということは事実と異なる
事実13: なにかは重層でなくて加えて解すということはない
事実14: もしあの各シートは加温でないとすれば「この他場面が設定完了だけどそれは伸ばし放題でない」ということは事実と異なる
事実15: 「あの各シートは伸ばし放題でなくてそれは設定完了でない」ということは成り立たない
事実16: 「あの各シートは伸ばし放題だということはなくて加温でない」ということは偽である
事実17: あの各シートは伸ばし放題でないとすれば「この他場面は加温でないし更に設定完了でない」ということは成り立たない
事実18: もしも「あの各シートは受け辛くない」ということは成り立つとしたらこの他場面は受け辛くない
事実19: 「保険医療機関若でなくて相即しない」ものはある
事実20: 「「設定完了であるがしかし伸ばし放題でない」ということは誤っている」物はある
事実21: 「「設定完了でないしさらに伸ばし放題でない」ということは成り立つということはない」物はある

仮説: 「「「加温でないし加えて設定完了でない」ということは成り立たない」ものはある」ということは事実と異なる
1. 事実10と事実5から、推論1: "「あの各シートは加温でないしそれは設定完了であるということはない」ということは偽である"が導かれる
2. 推論1から、仮説が否定される

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