そのハンドセットは出血し易い
fact1: そのルンガ・ベイはニューヨーク・ヤンキースだ fact2: そのハンドセットはゴッドである fact3: 仮に「そのルンガ・ベイは弦楽でない」ということは真実であるとすればそのハンドセットは出血し易くておまけに処理す fact4: そのルンガ・ベイが隙間無くないがニューヨーク・ヤンキースであるとすればそのハンドセットは弦楽だ fact5: そのハンドセットはニューヨーク・ヤンキースだ fact6: そのハンドセットは守り易い fact7: もし仮に「その西暦はゴッドであるがしかしさり気無くない」ということは成り立たないならそのルンガ・ベイは弦楽でない fact8: 弦楽は処理すとすれば「出血し易くない」ということは確かである fact9: そのルンガ・ベイは隙間無くないがそれはニューヨーク・ヤンキースだ fact10: もしそのルンガ・ベイはゴッドでないが隙間無いとすると「そのハンドセットは処理すということはない」ということは誤りである fact11: そのハンドセットはゴッドでそれは処理す
fact4 & fact9 -> int1: そのハンドセットは弦楽だ; fact11 -> int2: そのハンドセットは処理す; int1 & int2 -> int3: そのハンドセットは弦楽であるしまたそれは処理す; fact8 -> int4: 仮にそのハンドセットが弦楽であるしそれに処理すとするとそれは出血し易くない; int3 & int4 -> hypothesis;
そのハンドセットは出血し易い
$facts$ = fact1: そのルンガ・ベイはニューヨーク・ヤンキースだ fact2: そのハンドセットはゴッドである fact3: 仮に「そのルンガ・ベイは弦楽でない」ということは真実であるとすればそのハンドセットは出血し易くておまけに処理す fact4: そのルンガ・ベイが隙間無くないがニューヨーク・ヤンキースであるとすればそのハンドセットは弦楽だ fact5: そのハンドセットはニューヨーク・ヤンキースだ fact6: そのハンドセットは守り易い fact7: もし仮に「その西暦はゴッドであるがしかしさり気無くない」ということは成り立たないならそのルンガ・ベイは弦楽でない fact8: 弦楽は処理すとすれば「出血し易くない」ということは確かである fact9: そのルンガ・ベイは隙間無くないがそれはニューヨーク・ヤンキースだ fact10: もしそのルンガ・ベイはゴッドでないが隙間無いとすると「そのハンドセットは処理すということはない」ということは誤りである fact11: そのハンドセットはゴッドでそれは処理す ; $hypothesis$ = そのハンドセットは出血し易い ; $proof$ = 
fact4 & fact9 -> int1: そのハンドセットは弦楽だ; fact11 -> int2: そのハンドセットは処理す; int1 & int2 -> int3: そのハンドセットは弦楽であるしまたそれは処理す; fact8 -> int4: 仮にそのハンドセットが弦楽であるしそれに処理すとするとそれは出血し易くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: そのルンガ・ベイはニューヨーク・ヤンキースだ
事実2: そのハンドセットはゴッドである
事実3: 仮に「そのルンガ・ベイは弦楽でない」ということは真実であるとすればそのハンドセットは出血し易くておまけに処理す
事実4: そのルンガ・ベイが隙間無くないがニューヨーク・ヤンキースであるとすればそのハンドセットは弦楽だ
事実5: そのハンドセットはニューヨーク・ヤンキースだ
事実6: そのハンドセットは守り易い
事実7: もし仮に「その西暦はゴッドであるがしかしさり気無くない」ということは成り立たないならそのルンガ・ベイは弦楽でない
事実8: 弦楽は処理すとすれば「出血し易くない」ということは確かである
事実9: そのルンガ・ベイは隙間無くないがそれはニューヨーク・ヤンキースだ
事実10: もしそのルンガ・ベイはゴッドでないが隙間無いとすると「そのハンドセットは処理すということはない」ということは誤りである
事実11: そのハンドセットはゴッドでそれは処理す

仮説: そのハンドセットは出血し易い
1. 事実4と事実9から、推論1: "そのハンドセットは弦楽だ"が導かれる
2. 事実11から、推論2: "そのハンドセットは処理す"が導かれる
3. 推論1と推論2から、推論3: "そのハンドセットは弦楽であるしまたそれは処理す"が導かれる
4. 事実8から、推論4: "仮にそのハンドセットが弦楽であるしそれに処理すとするとそれは出血し易くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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