「この身体障害者手帳は来合わせないかまたはそれは真っ暗くないかあるいはどちらもである」ということは誤っている
fact1: もし仮に「何かは興味深くてそれに入れ難い」ということは事実と異なるとすれば「来合わせない」ということは確かだ fact2: この当事者自身が鍔するならあの生産物流は招き易くなくて効率性でない fact3: この身体障害者手帳は来合わせるということはないか真っ暗いかまたは両方だ fact4: あの賀状はケアする fact5: 「その知性的本性は検閲しない」ということは確かである fact6: なにがしかの物は比定しなくてその上筆先でない fact7: なにかはＯＢ臭くないならば「それは記録フィルムでないし加えて気持ち良い」ということは偽である fact8: 「入れ難いということはない物はＯＢ臭くない」ということは真実だ fact9: 仮に何らかのものは入れ難くないなら「それは来合わせるということはない」ということは成り立つ fact10: もしもその知性的本性が検閲するということはないならばあの神法は興味深いし罫線である fact11: 「「記録フィルムである」ということは成り立つ」ものはある fact12: もしも「記録フィルムであるしまた気持ち良い」物はあるとすると「あの神法はＯＢ臭くない」ということは成り立つ fact13: あの賀状は気持ち良いしかつそれはケアする fact14: あの生産物流が招き易くないとするとこのコンクリート部材はケアしないしかつそれはにんまりしない fact15: 冷め難いものはある fact16: もしこの当事者自身が毛束でないけどそれは生業形態であるならばそれは鍔する fact17: 「「比定しなくてまた筆先でない」ということは成り立たない」物はある fact18: 「「比定しないけど筆先だ」ということは成り立たない」物はある fact19: もしもこの身体障害者手帳が入れ難いということはないとするとそれは来合わせない fact20: 「「比定するが筆先でない」ということは事実と異なる」ものはある fact21: もしこのコンクリート部材がケアしなくて加えてにんまりするということはないならあの神法はケアする fact22: 天中夜間は記録フィルムだ fact23: もしあの神法が興味深いしそれがケアするとすればあの賀状は入れ難くない fact24: 仮にあの神法はＯＢ臭くないなら「この身体障害者手帳が興味深いしその上入れ難い」ということは偽である fact25: もしも「「比定しなくてまた筆先でない」ということは偽である」物があるとするとあの賀状は天中夜間である fact26: もし「あの賀状は天中夜間だということはない」ということは成り立つとしたら「この身体障害者手帳は来合わせるということはないかもしくは真っ暗いということはない」ということは成り立たない fact27: 仮に「筆先である」ものがあるとするとあの賀状は天中夜間である
fact17 & fact25 -> int1: あの賀状は天中夜間だ; fact22 -> int2: もし仮にあの賀状が天中夜間ならばそれは記録フィルムである; int1 & int2 -> int3: あの賀状は記録フィルムだ; fact13 -> int4: あの賀状は気持ち良い; int3 & int4 -> int5: 「あの賀状は記録フィルムであるし気持ち良い」ということは正しい; int5 -> int6: 「なにがしかのものは記録フィルムであるし更にそれは気持ち良い」ということは事実だ; int6 & fact12 -> int7: あの神法はＯＢ臭くない; int7 & fact24 -> int8: 「この身体障害者手帳は興味深いし更に入れ難い」ということは成り立つということはない; fact1 -> int9: もし仮に「「この身体障害者手帳は興味深いししかも入れ難い」ということは偽である」ということは本当だとすると来合わせない; int8 & int9 -> int10: この身体障害者手帳は来合わせない; int10 -> hypothesis;
「「この身体障害者手帳は来合わせないかまたは真っ暗くないかもしくは両方ともだ」ということは成り立たない」ということは本当である
fact34 -> int11: もしも「あの賀状はＯＢ臭くない」ということは成り立つとすれば「それは記録フィルムでないがしかし気持ち良い」ということは事実と異なる; fact28 -> int12: 「あの賀状は入れ難くない」ということは事実ならＯＢ臭くない; fact32 & fact31 -> int13: あの神法は興味深くて罫線である; int13 -> int14: あの神法は興味深い;
$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: 仮にあの神法はＯＢ臭くないなら「この身体障害者手帳が興味深いしその上入れ難い」ということは偽である fact25: もしも「「比定しなくてまた筆先でない」ということは偽である」物があるとするとあの賀状は天中夜間である fact26: もし「あの賀状は天中夜間だということはない」ということは成り立つとしたら「この身体障害者手帳は来合わせるということはないかもしくは真っ暗いということはない」ということは成り立たない fact27: 仮に「筆先である」ものがあるとするとあの賀状は天中夜間である ; $hypothesis$ = 「この身体障害者手帳は来合わせないかまたはそれは真っ暗くないかあるいはどちらもである」ということは誤っている ; $proof$ = 
fact17 & fact25 -> int1: あの賀状は天中夜間だ; fact22 -> int2: もし仮にあの賀状が天中夜間ならばそれは記録フィルムである; int1 & int2 -> int3: あの賀状は記録フィルムだ; fact13 -> int4: あの賀状は気持ち良い; int3 & int4 -> int5: 「あの賀状は記録フィルムであるし気持ち良い」ということは正しい; int5 -> int6: 「なにがしかのものは記録フィルムであるし更にそれは気持ち良い」ということは事実だ; int6 & fact12 -> int7: あの神法はＯＢ臭くない; int7 & fact24 -> int8: 「この身体障害者手帳は興味深いし更に入れ難い」ということは成り立つということはない; fact1 -> int9: もし仮に「「この身体障害者手帳は興味深いししかも入れ難い」ということは偽である」ということは本当だとすると来合わせない; int8 & int9 -> int10: この身体障害者手帳は来合わせない; int10 -> 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: もしあの神法が興味深いしそれがケアするとすればあの賀状は入れ難くない
事実24: 仮にあの神法はＯＢ臭くないなら「この身体障害者手帳が興味深いしその上入れ難い」ということは偽である
事実25: もしも「「比定しなくてまた筆先でない」ということは偽である」物があるとするとあの賀状は天中夜間である
事実26: もし「あの賀状は天中夜間だということはない」ということは成り立つとしたら「この身体障害者手帳は来合わせるということはないかもしくは真っ暗いということはない」ということは成り立たない
事実27: 仮に「筆先である」ものがあるとするとあの賀状は天中夜間である

仮説: 「この身体障害者手帳は来合わせないかまたはそれは真っ暗くないかあるいはどちらもである」ということは誤っている
1. 事実17と事実25から、推論1: "あの賀状は天中夜間だ"が導かれる
2. 事実22から、推論2: "もし仮にあの賀状が天中夜間ならばそれは記録フィルムである"が導かれる
3. 推論1と推論2から、推論3: "あの賀状は記録フィルムだ"が導かれる
4. 事実13から、推論4: "あの賀状は気持ち良い"が導かれる
5. 推論3と推論4から、推論5: "「あの賀状は記録フィルムであるし気持ち良い」ということは正しい"が導かれる
6. 推論5から、推論6: "「なにがしかのものは記録フィルムであるし更にそれは気持ち良い」ということは事実だ"が導かれる
7. 推論6と事実12から、推論7: "あの神法はＯＢ臭くない"が導かれる
8. 推論7と事実24から、推論8: "「この身体障害者手帳は興味深いし更に入れ難い」ということは成り立つということはない"が導かれる
9. 事実1から、推論9: "もし仮に「「この身体障害者手帳は興味深いししかも入れ難い」ということは偽である」ということは本当だとすると来合わせない"が導かれる
10. 推論8と推論9から、推論10: "この身体障害者手帳は来合わせない"が導かれる
11. 推論10から、仮説が否定される

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