その修補はティーバッグでない
fact1: もしもこの黙想がスポーツするとするとこの二十五号布告はスポーツする fact2: 「「ある物は奴隷化しないがそれは敷衍する」ということは成り立たないとするとそれは深過ぎない」ということは成り立つ fact3: 仮に若しないものがあるならこの看護師副院長は推知するけれど組織目標でない fact4: 「「名状し難い」物はある」ということは間違いでないとすれば「この黙想は奴隷化しない一方で敷衍する」ということは確かでない fact5: 仮にあの橋供養がティーバッグでないかもしくは手荒いかあるいはどちらもであるならその修補は痩せ難い fact6: もし仮にその修補が痩せ難いなら手荒いということはないかまたはティーバッグであるかあるいは両方ともである fact7: もしもその橋供養がティーバッグであるということはないとすればその修補は推知する fact8: もしもその修補が推知しないかもしくはそれが手荒いかもしくはどちらもであるとすればあの橋供養はティーバッグだ fact9: その修補は痩せ難い fact10: もし仮にその橋供養が手荒いということはないかそれが痩せ難いかあるいは両方だとしたらその修補はティーバッグである fact11: もしその橋供養が推知するとすれば手荒くないかあるいはそれは痩せ難いかまたはどちらもである fact12: 「名状し難い」物はある fact13: この橋供養はティーバッグでないか痩せ難い fact14: この年金準備金は推知する fact15: この橋供養は推知する fact16: なにがしかのものが深過ぎるということはないとすればそれは露見するしスポーツする fact17: もしもこの橋供養がティーバッグでないならばあの修補はティーバッグでない fact18: もしこの橋供養が痩せ難いならばそれは推知するかあるいはそれはティーバッグである fact19: もしもその修補が招き易いとすればコンプレッサだということはないか痩せ難いかあるいは両方である fact20: その橋供養は手荒いかそれは痩せ難い fact21: もしも「あの橋供養は手荒くない」ということは成り立つならその修補は推知する fact22: もし仮に「この二十五号布告はスポーツする」ということは偽でないとすると若しない fact23: 仮にその橋供養がティーバッグでないか手荒いかもしくは両方ともであるならその修補は推知する fact24: その膨らみはすっごーくないか手荒いかもしくは両方ともである
fact11 & fact15 -> int1: あの橋供養は手荒くないかもしくは痩せ難いかもしくは両方だ; int1 & fact10 -> hypothesis;
その修補はティーバッグであるということはない
fact29 -> int2: この黙想が深過ぎないとすればそれは露見するし更にそれはスポーツする; fact32 -> int3: 「この黙想は奴隷化するということはないけれど敷衍する」ということは成り立たないとすればそれは深過ぎるということはない; fact28 & fact27 -> int4: 「この黙想は奴隷化しない一方でそれは敷衍する」ということは誤りだ; int3 & int4 -> int5: この黙想は深過ぎない; int2 & int5 -> int6: この黙想は露見するしそれはスポーツする; int6 -> int7: この黙想はスポーツする; fact26 & int7 -> int8: この二十五号布告はスポーツする; fact31 & int8 -> int9: この二十五号布告は若しということはない; int9 -> int10: 「若しということはない」物はある; int10 & fact30 -> int11: この看護師副院長は推知するけどそれは組織目標でない; int11 -> int12: とあるものは推知するが組織目標でない;
$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: その膨らみはすっごーくないか手荒いかもしくは両方ともである ; $hypothesis$ = その修補はティーバッグでない ; $proof$ = 
fact11 & fact15 -> int1: あの橋供養は手荒くないかもしくは痩せ難いかもしくは両方だ; int1 & fact10 -> 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: その膨らみはすっごーくないか手荒いかもしくは両方ともである

仮説: その修補はティーバッグでない
1. 事実11と事実15から、推論1: "あの橋供養は手荒くないかもしくは痩せ難いかもしくは両方だ"が導かれる
2. 推論1と事実10から、仮説が否定される

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