その月神は証言記録でないかそれは大人しないかまたは両方である
fact1: もしあの債権総額がハイウエーでないとすれば注釈文でないけどピーマンである fact2: あの債権総額は証言記録でないとしたら「その月神は悪いということはないかもしくは証言記録でないかもしくはどちらもだ」ということは間違いである fact3: 「あの債権総額はピーマンでないかもしくは注釈文でないかもしくはどちらもだ」ということは誤っている fact4: あのＥＵ議長国は納車でないならばそれは大人し fact5: その蕎麦屋は証言記録であるということはない fact6: アプローチし易くないものは証言記録であるということはないがむず痒い fact7: 仮にその蕎麦屋はピーマンであるとしたら「あの明王は大人しない」ということは確かだ fact8: その月神は大人し fact9: もしもあの債権総額が大人しということはないならばハイウエーでないがしかし悪い fact10: その月神はハイウエーだ fact11: あの債権総額が悪くないがしかし注釈文だとするとあのＥＵ議長国は納車でない fact12: 「その月神は大人しないかもしくはそれは御近所付き合いでない」ということは事実でない fact13: もしも「あの明王は大人しない」ということは成り立つとすれば「その月神は証言記録でないかまたは大人しないかもしくは両方だ」ということは事実と異なる fact14: もしもその蕎麦屋がハイウエーだとするとそれはピーマンである fact15: その月神はピーマンだということはない fact16: 仮にあの債権総額がピーマンでないならばその蕎麦屋は悪い fact17: もし仮に「あのＥＵ議長国は納車でない」ということは事実ならばその蕎麦屋はハイウエーである fact18: あの明王はピーマンである fact19: その蕎麦屋は注釈文である fact20: あの債権総額は見え易くない fact21: あの債権総額はハイウエーである fact22: 「その月神は注釈文である」ということは正しい fact23: 「その蕎麦屋はどぎついということはないけど高架構造物だ」ということは確かである fact24: 仮に「あの債権総額は見え易いということはない」ということは事実であるとすればそれは悪いということはないけど注釈文である fact25: その蕎麦屋は大人し
fact24 & fact20 -> int1: あの債権総額は悪くないけどそれは注釈文である; int1 & fact11 -> int2: 「「あのＥＵ議長国は納車である」ということは確かでない」ということは成り立つ; int2 & fact17 -> int3: その蕎麦屋はハイウエーである; int3 & fact14 -> int4: その蕎麦屋はピーマンだ; int4 & fact7 -> int5: あの明王は大人しない; int5 & fact13 -> hypothesis;
仮にあの中屋敷はアプローチし易くないならば証言記録でないけどむず痒い
fact26 -> hypothesis;
$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: 仮に「あの債権総額は見え易いということはない」ということは事実であるとすればそれは悪いということはないけど注釈文である fact25: その蕎麦屋は大人し ; $hypothesis$ = その月神は証言記録でないかそれは大人しないかまたは両方である ; $proof$ = 
fact24 & fact20 -> int1: あの債権総額は悪くないけどそれは注釈文である; int1 & fact11 -> int2: 「「あのＥＵ議長国は納車である」ということは確かでない」ということは成り立つ; int2 & fact17 -> int3: その蕎麦屋はハイウエーである; int3 & fact14 -> int4: その蕎麦屋はピーマンだ; int4 & fact7 -> int5: あの明王は大人しない; int5 & fact13 -> 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: 仮に「あの債権総額は見え易いということはない」ということは事実であるとすればそれは悪いということはないけど注釈文である
事実25: その蕎麦屋は大人し

仮説: その月神は証言記録でないかそれは大人しないかまたは両方である
1. 事実24と事実20から、推論1: "あの債権総額は悪くないけどそれは注釈文である"が導かれる
2. 推論1と事実11から、推論2: "「「あのＥＵ議長国は納車である」ということは確かでない」ということは成り立つ"が導かれる
3. 推論2と事実17から、推論3: "その蕎麦屋はハイウエーである"が導かれる
4. 推論3と事実14から、推論4: "その蕎麦屋はピーマンだ"が導かれる
5. 推論4と事実7から、推論5: "あの明王は大人しない"が導かれる
6. 推論5と事実13から、仮説が否定される

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