その腎不全患者は農村工業だ
fact1: もしも「この執務机はジェミュールでないがしかし忙しい」ということは事実と異なるならその腎不全患者は自己決定出来る fact2: 薄ら寒い物は農村工業でない fact3: もしも「あの文字メッセージはきょろきょろしないかまたはそれは持ち合わせないかもしくは両方ともだ」ということは偽だとするとこのスウェーデン人は標識化する fact4: 「その腎不全患者は図示しなくてしかもそれは薄ら寒くない」ということは誤りだ fact5: 「あの文字メッセージは黒光りする」ということは本当である fact6: もしも「なにがしかの物は繰り返し遣る」ということは真実だとしたら「それは身動きする」ということは確かである fact7: 「「なにがしかのものは専用しないかそれは千九百九十年以降であるかどちらもである」ということは間違いだとするとそれは平板形でない」ということは成り立つ fact8: もしも「なにかは黄色くないしかつ隙間無くない」ということは成り立たないならグローバルＳＣＭでない fact9: もし仮にあの文字メッセージは黒光りすれば「きょろきょろしないかもしくは持ち合わせないかもしくは両方である」ということは偽である fact10: 「その腎不全患者は図示しない一方で薄ら寒い」ということは間違いだ fact11: もしあの労咳が身動きするとしたらあの空気抜きは翻弄しないけれど涼しい fact12: もしもなにがしかの物が翻弄しないならこの餓鬼はエクストラディエジェーズでない fact13: 仮に「この小螺子は輝くけれど標識化しない」ということは成り立たないならあの労咳は繰り返し遣る fact14: 仮に「エクストラディエジェーズでない」物はあるなら「「このウェッブは専用しないかまたは千九百九十年以降であるかまたはどちらもである」ということは確かでない」ということは正しい fact15: もし「なにがしかの物は図示しないし薄ら寒くない」ということは誤りだとしたら農村工業でない fact16: もしもこの痰は聞き給うとすれば「この執務机はジェミュールでないがそれは忙しい」ということは成り立つということはない fact17: もし仮にある物は自己決定出来るとすると「それは農村工業である」ということは真実だ fact18: 「標識化する」ものはあるとしたら「この小螺子は輝くけれどそれは標識化するということはない」ということは正しいということはない fact19: もしもその腎不全患者は薄ら寒いなら「それは農村工業でない」ということは事実だ
fact15 -> int1: もしも「その腎不全患者は図示しなくて更に薄ら寒くない」ということは成り立たないならば農村工業でない; int1 & fact4 -> hypothesis;
fact15 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> hypothesis;
その腎不全患者は農村工業である
fact32 -> int2: その腎不全患者が自己決定出来れば農村工業である; fact26 -> int3: 「このウェッブは専用しないかあるいはそれは千九百九十年以降だ」ということは嘘だとすると平板形でない; fact20 -> int4: 仮にあの労咳は繰り返し遣れば「それは身動きする」ということは間違いでない; fact23 & fact25 -> int5: 「あの文字メッセージはきょろきょろするということはないかあるいは持ち合わせないか両方だ」ということは偽である; fact21 & int5 -> int6: このスウェーデン人は標識化する; int6 -> int7: 「「標識化する」ということは成り立つ」物はある; int7 & fact22 -> int8: 「この小螺子は輝くけれど標識化しない」ということは成り立たない; fact27 & int8 -> int9: あの労咳は繰り返し遣る; int4 & int9 -> int10: あの労咳は身動きする; fact24 & int10 -> int11: あの空気抜きは翻弄しないけど涼しい; int11 -> int12: あの空気抜きは翻弄しない; int12 -> int13: 「翻弄しない」物はある; int13 & fact30 -> int14: この餓鬼はエクストラディエジェーズでない; int14 -> int15: 「エクストラディエジェーズでない」ものはある; int15 & fact31 -> int16: 「このウェッブは専用するということはないかそれは千九百九十年以降である」ということは成り立つということはない; int3 & int16 -> int17: このウェッブは平板形でない; int17 -> int18: 「平板形でない」物はある;
$facts$ = fact1: もしも「この執務机はジェミュールでないがしかし忙しい」ということは事実と異なるならその腎不全患者は自己決定出来る fact2: 薄ら寒い物は農村工業でない fact3: もしも「あの文字メッセージはきょろきょろしないかまたはそれは持ち合わせないかもしくは両方ともだ」ということは偽だとするとこのスウェーデン人は標識化する fact4: 「その腎不全患者は図示しなくてしかもそれは薄ら寒くない」ということは誤りだ fact5: 「あの文字メッセージは黒光りする」ということは本当である fact6: もしも「なにがしかの物は繰り返し遣る」ということは真実だとしたら「それは身動きする」ということは確かである fact7: 「「なにがしかのものは専用しないかそれは千九百九十年以降であるかどちらもである」ということは間違いだとするとそれは平板形でない」ということは成り立つ fact8: もしも「なにかは黄色くないしかつ隙間無くない」ということは成り立たないならグローバルＳＣＭでない fact9: もし仮にあの文字メッセージは黒光りすれば「きょろきょろしないかもしくは持ち合わせないかもしくは両方である」ということは偽である fact10: 「その腎不全患者は図示しない一方で薄ら寒い」ということは間違いだ fact11: もしあの労咳が身動きするとしたらあの空気抜きは翻弄しないけれど涼しい fact12: もしもなにがしかの物が翻弄しないならこの餓鬼はエクストラディエジェーズでない fact13: 仮に「この小螺子は輝くけれど標識化しない」ということは成り立たないならあの労咳は繰り返し遣る fact14: 仮に「エクストラディエジェーズでない」物はあるなら「「このウェッブは専用しないかまたは千九百九十年以降であるかまたはどちらもである」ということは確かでない」ということは正しい fact15: もし「なにがしかの物は図示しないし薄ら寒くない」ということは誤りだとしたら農村工業でない fact16: もしもこの痰は聞き給うとすれば「この執務机はジェミュールでないがそれは忙しい」ということは成り立つということはない fact17: もし仮にある物は自己決定出来るとすると「それは農村工業である」ということは真実だ fact18: 「標識化する」ものはあるとしたら「この小螺子は輝くけれどそれは標識化するということはない」ということは正しいということはない fact19: もしもその腎不全患者は薄ら寒いなら「それは農村工業でない」ということは事実だ ; $hypothesis$ = その腎不全患者は農村工業だ ; $proof$ = 
fact15 -> int1: もしも「その腎不全患者は図示しなくて更に薄ら寒くない」ということは成り立たないならば農村工業でない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「この執務机はジェミュールでないがしかし忙しい」ということは事実と異なるならその腎不全患者は自己決定出来る
事実2: 薄ら寒い物は農村工業でない
事実3: もしも「あの文字メッセージはきょろきょろしないかまたはそれは持ち合わせないかもしくは両方ともだ」ということは偽だとするとこのスウェーデン人は標識化する
事実4: 「その腎不全患者は図示しなくてしかもそれは薄ら寒くない」ということは誤りだ
事実5: 「あの文字メッセージは黒光りする」ということは本当である
事実6: もしも「なにがしかの物は繰り返し遣る」ということは真実だとしたら「それは身動きする」ということは確かである
事実7: 「「なにがしかのものは専用しないかそれは千九百九十年以降であるかどちらもである」ということは間違いだとするとそれは平板形でない」ということは成り立つ
事実8: もしも「なにかは黄色くないしかつ隙間無くない」ということは成り立たないならグローバルＳＣＭでない
事実9: もし仮にあの文字メッセージは黒光りすれば「きょろきょろしないかもしくは持ち合わせないかもしくは両方である」ということは偽である
事実10: 「その腎不全患者は図示しない一方で薄ら寒い」ということは間違いだ
事実11: もしあの労咳が身動きするとしたらあの空気抜きは翻弄しないけれど涼しい
事実12: もしもなにがしかの物が翻弄しないならこの餓鬼はエクストラディエジェーズでない
事実13: 仮に「この小螺子は輝くけれど標識化しない」ということは成り立たないならあの労咳は繰り返し遣る
事実14: 仮に「エクストラディエジェーズでない」物はあるなら「「このウェッブは専用しないかまたは千九百九十年以降であるかまたはどちらもである」ということは確かでない」ということは正しい
事実15: もし「なにがしかの物は図示しないし薄ら寒くない」ということは誤りだとしたら農村工業でない
事実16: もしもこの痰は聞き給うとすれば「この執務机はジェミュールでないがそれは忙しい」ということは成り立つということはない
事実17: もし仮にある物は自己決定出来るとすると「それは農村工業である」ということは真実だ
事実18: 「標識化する」ものはあるとしたら「この小螺子は輝くけれどそれは標識化するということはない」ということは正しいということはない
事実19: もしもその腎不全患者は薄ら寒いなら「それは農村工業でない」ということは事実だ

仮説: その腎不全患者は農村工業だ
1. 事実15から、推論1: "もしも「その腎不全患者は図示しなくて更に薄ら寒くない」ということは成り立たないならば農村工業でない"が導かれる
2. 推論1と事実4から、仮説が否定される

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