この新神戸トンネルは聞こえ難くない
fact1: もしあの星さんが聞こえ難いならばあの新神戸トンネルは探偵団である fact2: その法制上は好まし fact3: もし仮に「あるものは聞こえ難くてさらに探偵団だ」ということは成り立たないならば聞こえ難くない fact4: あの病診連携は打ち出さないならば「一息付けるしそれは苦い」ということは成り立たない fact5: もし仮に「とあるものは担任しないがしかし決定方法だ」ということは嘘なら「それは好ましない」ということは成り立つ fact6: もしなんらかのものはミキシング量でないなら非課税選択でない fact7: もしなんらかのものが一息付けないとするとそれは己自身であるしおまけにそれはミキシング量でない fact8: もしもその法制上は決定方法でないとすると「それは探偵団でないし好ましということはない」ということは嘘だ fact9: あの星さんが探偵団であるとしたらこの新神戸トンネルは聞こえ難い fact10: もし「あの病診連携は一息付けるしまたそれは苦い」ということは誤りであるとすれば一息付けない fact11: もしもあの病診連携が己自身であるがミキシング量でないとしたらあの星さんはミキシング量でない fact12: この新神戸トンネルは好まし fact13: 仮になにがしかのものは好ましないなら「それは聞こえ難いしおまけに探偵団である」ということは誤りである fact14: その法制上は一捻りである fact15: その法制上がビル街であるとすればあの新神戸トンネルはビル街だ fact16: 仮に「その法制上は好ましない」ということは間違いだとしたらあの星さんは探偵団だ fact17: その法制上は探偵団だ fact18: もしなにかはビル街ならば「担任するということはないけど決定方法だ」ということは偽である fact19: あの除権判決は聞こえ難い fact20: あの見直しは好まし fact21: 仮にあの星さんが非課税選択でないとすればあの法制上はビル街である
fact16 & fact2 -> int1: あの星さんは探偵団だ; int1 & fact9 -> hypothesis;
その重大性は聞こえ難い
$facts$ = fact1: もしあの星さんが聞こえ難いならばあの新神戸トンネルは探偵団である fact2: その法制上は好まし fact3: もし仮に「あるものは聞こえ難くてさらに探偵団だ」ということは成り立たないならば聞こえ難くない fact4: あの病診連携は打ち出さないならば「一息付けるしそれは苦い」ということは成り立たない fact5: もし仮に「とあるものは担任しないがしかし決定方法だ」ということは嘘なら「それは好ましない」ということは成り立つ fact6: もしなんらかのものはミキシング量でないなら非課税選択でない fact7: もしなんらかのものが一息付けないとするとそれは己自身であるしおまけにそれはミキシング量でない fact8: もしもその法制上は決定方法でないとすると「それは探偵団でないし好ましということはない」ということは嘘だ fact9: あの星さんが探偵団であるとしたらこの新神戸トンネルは聞こえ難い fact10: もし「あの病診連携は一息付けるしまたそれは苦い」ということは誤りであるとすれば一息付けない fact11: もしもあの病診連携が己自身であるがミキシング量でないとしたらあの星さんはミキシング量でない fact12: この新神戸トンネルは好まし fact13: 仮になにがしかのものは好ましないなら「それは聞こえ難いしおまけに探偵団である」ということは誤りである fact14: その法制上は一捻りである fact15: その法制上がビル街であるとすればあの新神戸トンネルはビル街だ fact16: 仮に「その法制上は好ましない」ということは間違いだとしたらあの星さんは探偵団だ fact17: その法制上は探偵団だ fact18: もしなにかはビル街ならば「担任するということはないけど決定方法だ」ということは偽である fact19: あの除権判決は聞こえ難い fact20: あの見直しは好まし fact21: 仮にあの星さんが非課税選択でないとすればあの法制上はビル街である ; $hypothesis$ = この新神戸トンネルは聞こえ難くない ; $proof$ = 
fact16 & fact2 -> int1: あの星さんは探偵団だ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もしあの星さんが聞こえ難いならばあの新神戸トンネルは探偵団である
事実2: その法制上は好まし
事実3: もし仮に「あるものは聞こえ難くてさらに探偵団だ」ということは成り立たないならば聞こえ難くない
事実4: あの病診連携は打ち出さないならば「一息付けるしそれは苦い」ということは成り立たない
事実5: もし仮に「とあるものは担任しないがしかし決定方法だ」ということは嘘なら「それは好ましない」ということは成り立つ
事実6: もしなんらかのものはミキシング量でないなら非課税選択でない
事実7: もしなんらかのものが一息付けないとするとそれは己自身であるしおまけにそれはミキシング量でない
事実8: もしもその法制上は決定方法でないとすると「それは探偵団でないし好ましということはない」ということは嘘だ
事実9: あの星さんが探偵団であるとしたらこの新神戸トンネルは聞こえ難い
事実10: もし「あの病診連携は一息付けるしまたそれは苦い」ということは誤りであるとすれば一息付けない
事実11: もしもあの病診連携が己自身であるがミキシング量でないとしたらあの星さんはミキシング量でない
事実12: この新神戸トンネルは好まし
事実13: 仮になにがしかのものは好ましないなら「それは聞こえ難いしおまけに探偵団である」ということは誤りである
事実14: その法制上は一捻りである
事実15: その法制上がビル街であるとすればあの新神戸トンネルはビル街だ
事実16: 仮に「その法制上は好ましない」ということは間違いだとしたらあの星さんは探偵団だ
事実17: その法制上は探偵団だ
事実18: もしなにかはビル街ならば「担任するということはないけど決定方法だ」ということは偽である
事実19: あの除権判決は聞こえ難い
事実20: あの見直しは好まし
事実21: 仮にあの星さんが非課税選択でないとすればあの法制上はビル街である

仮説: この新神戸トンネルは聞こえ難くない
1. 事実16と事実2から、推論1: "あの星さんは探偵団だ"が導かれる
2. 推論1と事実9から、仮説が否定される

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