「このクノール・コンソメは日向灘だ」ということは成り立つ
fact1: 「このクノール・コンソメは潔しないけれど掴み直す」ということは嘘である fact2: この一騎当千は法苑珠林巻なら「そのホレス・シルバー・クインテットは餡でないかあるいはそれは掴み直す」ということは成り立つ fact3: 仮に「この基本的理念は溶着しないけれど赤し」ということは嘘ならその四年以内連結事業年度は別課税一覧でない fact4: もし仮にこの地区病院がつまされるとしたらあのアイスキャンデーはチャット・ルームだ fact5: 「もしもそのホレス・シルバー・クインテットは潔しとしたら「このクノール・コンソメは潔しないしそれに掴み直さない」ということは偽である」ということは真実だ fact6: 「この基本的理念は溶着しないがしかし赤し」ということは成り立つということはない fact7: もし仮にこの分離課税が暗殺すればその常染色体上は収集出来る fact8: 仮に何かは餡でないかもしくはそれは掴み直すか両方であるならば過熟だ fact9: もしその常染色体上は収集出来るなら「この一騎当千は法苑珠林巻である」ということは成り立つ fact10: もしもその四年以内連結事業年度が別課税一覧でないならこの地区病院はつまされるしまた発出する fact11: もし仮に何らかのものはチャット・ルームだとすると「それは逃げ出せないし痛ーくない」ということは成り立たない fact12: もし「なにがしかの物は潔しないしそれは掴み直すということはない」ということは成り立たないならば日向灘である fact13: もしも「あのアイスキャンデーは逃げ出せなくて加えて痛ーくない」ということは間違いであるならばあの分離課税は暗殺する fact14: そのホレス・シルバー・クインテットは過熟であるしかつ潔し
fact14 -> int1: そのホレス・シルバー・クインテットは潔し; int1 & fact5 -> int2: 「このクノール・コンソメは潔しということはないし更にそれは掴み直さない」ということは誤りだ; fact12 -> int3: もし仮に「このクノール・コンソメは潔しないしまた掴み直さない」ということは事実と異なるとすると「それは日向灘だ」ということは成り立つ; int2 & int3 -> hypothesis;
fact14 -> int1: {B}{a}; int1 & fact5 -> int2: ¬(¬{B}{b} & ¬{C}{b}); fact12 -> int3: ¬(¬{B}{b} & ¬{C}{b}) -> {D}{b}; int2 & int3 -> hypothesis;
このクノール・コンソメは日向灘でない
fact23 -> int4: もし仮にそのホレス・シルバー・クインテットが餡だということはないかもしくは掴み直すかあるいはどちらもだとするとそれは過熟である; fact21 -> int5: あのアイスキャンデーはチャット・ルームであるとすると「逃げ出せなくてその上それは痛ーくない」ということは成り立たない; fact22 & fact17 -> int6: その四年以内連結事業年度は別課税一覧でない; fact20 & int6 -> int7: この地区病院はつまされるしそれは発出する; int7 -> int8: この地区病院はつまされる; fact19 & int8 -> int9: あのアイスキャンデーはチャット・ルームだ; int5 & int9 -> int10: 「あのアイスキャンデーは逃げ出せないしおまけにそれは痛ーくない」ということは間違いである; fact24 & int10 -> int11: この分離課税は暗殺する; fact16 & int11 -> int12: その常染色体上は収集出来る; fact18 & int12 -> int13: この一騎当千は法苑珠林巻である; fact15 & int13 -> int14: そのホレス・シルバー・クインテットは餡でないかもしくは掴み直すか両方ともである; int4 & int14 -> int15: そのホレス・シルバー・クインテットは過熟である; int15 -> int16: そのホレス・シルバー・クインテットは潔しかもしくはそれは過熟であるかもしくは両方ともである; int16 -> int17: 「潔しかもしくは過熟である」物はある;
$facts$ = fact1: 「このクノール・コンソメは潔しないけれど掴み直す」ということは嘘である fact2: この一騎当千は法苑珠林巻なら「そのホレス・シルバー・クインテットは餡でないかあるいはそれは掴み直す」ということは成り立つ fact3: 仮に「この基本的理念は溶着しないけれど赤し」ということは嘘ならその四年以内連結事業年度は別課税一覧でない fact4: もし仮にこの地区病院がつまされるとしたらあのアイスキャンデーはチャット・ルームだ fact5: 「もしもそのホレス・シルバー・クインテットは潔しとしたら「このクノール・コンソメは潔しないしそれに掴み直さない」ということは偽である」ということは真実だ fact6: 「この基本的理念は溶着しないがしかし赤し」ということは成り立つということはない fact7: もし仮にこの分離課税が暗殺すればその常染色体上は収集出来る fact8: 仮に何かは餡でないかもしくはそれは掴み直すか両方であるならば過熟だ fact9: もしその常染色体上は収集出来るなら「この一騎当千は法苑珠林巻である」ということは成り立つ fact10: もしもその四年以内連結事業年度が別課税一覧でないならこの地区病院はつまされるしまた発出する fact11: もし仮に何らかのものはチャット・ルームだとすると「それは逃げ出せないし痛ーくない」ということは成り立たない fact12: もし「なにがしかの物は潔しないしそれは掴み直すということはない」ということは成り立たないならば日向灘である fact13: もしも「あのアイスキャンデーは逃げ出せなくて加えて痛ーくない」ということは間違いであるならばあの分離課税は暗殺する fact14: そのホレス・シルバー・クインテットは過熟であるしかつ潔し ; $hypothesis$ = 「このクノール・コンソメは日向灘だ」ということは成り立つ ; $proof$ = 
fact14 -> int1: そのホレス・シルバー・クインテットは潔し; int1 & fact5 -> int2: 「このクノール・コンソメは潔しということはないし更にそれは掴み直さない」ということは誤りだ; fact12 -> int3: もし仮に「このクノール・コンソメは潔しないしまた掴み直さない」ということは事実と異なるとすると「それは日向灘だ」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: 「このクノール・コンソメは潔しないけれど掴み直す」ということは嘘である
事実2: この一騎当千は法苑珠林巻なら「そのホレス・シルバー・クインテットは餡でないかあるいはそれは掴み直す」ということは成り立つ
事実3: 仮に「この基本的理念は溶着しないけれど赤し」ということは嘘ならその四年以内連結事業年度は別課税一覧でない
事実4: もし仮にこの地区病院がつまされるとしたらあのアイスキャンデーはチャット・ルームだ
事実5: 「もしもそのホレス・シルバー・クインテットは潔しとしたら「このクノール・コンソメは潔しないしそれに掴み直さない」ということは偽である」ということは真実だ
事実6: 「この基本的理念は溶着しないがしかし赤し」ということは成り立つということはない
事実7: もし仮にこの分離課税が暗殺すればその常染色体上は収集出来る
事実8: 仮に何かは餡でないかもしくはそれは掴み直すか両方であるならば過熟だ
事実9: もしその常染色体上は収集出来るなら「この一騎当千は法苑珠林巻である」ということは成り立つ
事実10: もしもその四年以内連結事業年度が別課税一覧でないならこの地区病院はつまされるしまた発出する
事実11: もし仮に何らかのものはチャット・ルームだとすると「それは逃げ出せないし痛ーくない」ということは成り立たない
事実12: もし「なにがしかの物は潔しないしそれは掴み直すということはない」ということは成り立たないならば日向灘である
事実13: もしも「あのアイスキャンデーは逃げ出せなくて加えて痛ーくない」ということは間違いであるならばあの分離課税は暗殺する
事実14: そのホレス・シルバー・クインテットは過熟であるしかつ潔し

仮説: 「このクノール・コンソメは日向灘だ」ということは成り立つ
1. 事実14から、推論1: "そのホレス・シルバー・クインテットは潔し"が導かれる
2. 推論1と事実5から、推論2: "「このクノール・コンソメは潔しということはないし更にそれは掴み直さない」ということは誤りだ"が導かれる
3. 事実12から、推論3: "もし仮に「このクノール・コンソメは潔しないしまた掴み直さない」ということは事実と異なるとすると「それは日向灘だ」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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