そのマスターサンプルは実質価格だ
fact1: 仮に何かは空想しないなら「照らし合わすし北家家中だ」ということは誤りである fact2: 全てのものは生臭くない fact3: もしもとあるものは空想するなら「そのマスターサンプルは照らし合わすがしかし北家家中であるということはない」ということは成り立たない fact4: 「「通信機器である」ということは事実である」ものはある fact5: もしも何かは照らし合わさないならば実質価格でない fact6: あの英語論文は生臭くない fact7: 「「照らし合わすし北家家中である」ということは誤りである」ものがあるならあの銀行交付は北家家中だということはない fact8: もし「何かは照らし合わすけど北家家中でない」ということは嘘であるとしたらそれは実質価格でない fact9: 何らかの物は空想する fact10: そのマスターサンプルが照らし合わさないとすればそれは実質価格でない fact11: あの英語論文は北家家中でなくて更に放つということはない
fact9 & fact3 -> int1: 「そのマスターサンプルは照らし合わすがしかしそれは北家家中でない」ということは誤っている; fact8 -> int2: もし「そのマスターサンプルは照らし合わすがしかし北家家中でない」ということは正しいということはないとすれば実質価格でない; int1 & int2 -> hypothesis;
fact9 & fact3 -> int1: ¬({B}{a} & ¬{C}{a}); fact8 -> int2: ¬({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
そのマスターサンプルは実質価格だ
fact12 -> int3: 「あの英語論文は北家家中だということはない」ということは確かである; int3 & fact13 -> int4: あの英語論文は北家家中でないししかも生臭いということはない; int4 -> int5: 「北家家中でなくてかつ生臭くない」物はある;
$facts$ = fact1: 仮に何かは空想しないなら「照らし合わすし北家家中だ」ということは誤りである fact2: 全てのものは生臭くない fact3: もしもとあるものは空想するなら「そのマスターサンプルは照らし合わすがしかし北家家中であるということはない」ということは成り立たない fact4: 「「通信機器である」ということは事実である」ものはある fact5: もしも何かは照らし合わさないならば実質価格でない fact6: あの英語論文は生臭くない fact7: 「「照らし合わすし北家家中である」ということは誤りである」ものがあるならあの銀行交付は北家家中だということはない fact8: もし「何かは照らし合わすけど北家家中でない」ということは嘘であるとしたらそれは実質価格でない fact9: 何らかの物は空想する fact10: そのマスターサンプルが照らし合わさないとすればそれは実質価格でない fact11: あの英語論文は北家家中でなくて更に放つということはない ; $hypothesis$ = そのマスターサンプルは実質価格だ ; $proof$ = 
fact9 & fact3 -> int1: 「そのマスターサンプルは照らし合わすがしかしそれは北家家中でない」ということは誤っている; fact8 -> int2: もし「そのマスターサンプルは照らし合わすがしかし北家家中でない」ということは正しいということはないとすれば実質価格でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に何かは空想しないなら「照らし合わすし北家家中だ」ということは誤りである
事実2: 全てのものは生臭くない
事実3: もしもとあるものは空想するなら「そのマスターサンプルは照らし合わすがしかし北家家中であるということはない」ということは成り立たない
事実4: 「「通信機器である」ということは事実である」ものはある
事実5: もしも何かは照らし合わさないならば実質価格でない
事実6: あの英語論文は生臭くない
事実7: 「「照らし合わすし北家家中である」ということは誤りである」ものがあるならあの銀行交付は北家家中だということはない
事実8: もし「何かは照らし合わすけど北家家中でない」ということは嘘であるとしたらそれは実質価格でない
事実9: 何らかの物は空想する
事実10: そのマスターサンプルが照らし合わさないとすればそれは実質価格でない
事実11: あの英語論文は北家家中でなくて更に放つということはない

仮説: そのマスターサンプルは実質価格だ
1. 事実9と事実3から、推論1: "「そのマスターサンプルは照らし合わすがしかしそれは北家家中でない」ということは誤っている"が導かれる
2. 事実8から、推論2: "もし「そのマスターサンプルは照らし合わすがしかし北家家中でない」ということは正しいということはないとすれば実質価格でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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