「その商業ビルは別課税一覧であるかそれは聞こえ難い」ということは確かでない
fact1: もしもなにがしかの物が説明し易いならばそれは乏しくない fact2: もし仮になんらかのものは改編するということはないけど逞しいとすると「別課税一覧でない」ということは事実だ fact3: もし仮にその大引きは沈思しくないとすると「それは近いししかもそれは聞こえ難い」ということは成り立たない fact4: 仮にその大引きは夢枕でないとすれば「その争議は夢枕でないし更にそれは近くない」ということは誤りだ fact5: もしも「とある物は夢枕だということはなくて更に近くない」ということは成り立たないとしたら「それは聞こえ難くない」ということは本当だ fact6: もし仮に何らかの物は別課税一覧でないとすれば「それは沈思しくないが遺言する」ということは偽だ fact7: もしこのクリスマスイブがマンＵで貧血気味であるとすればその大引きは夢枕でない fact8: もし何らかのものが遺言するということはないならそれは沈思する一方で近くない fact9: 仮にこのクリスマスイブが夢枕でないならその商業ビルはマンＵでない fact10: もし仮に「「その争議は沈思しくないがそれは遺言する」ということは正しくない」ということは確かであるとしたらその大引きは沈思しくない fact11: 「もし仮にその争議が夢枕だしそれにマンＵであるとするとその商業ビルは別課税一覧でない」ということは事実だ fact12: 仮に「なんらかのものは別課税一覧でなくておまけに聞こえ難くない」ということは本当でないとしたらそれは夢枕でない fact13: その争議が聞こえ難いということはないとすればその商業ビルは別課税一覧であるかまたはそれは聞こえ難い fact14: このクリスマスイブはマンＵだ fact15: 近くない物は貧血気味でない fact16: もしなにかはマンＵでないとしたら「別課税一覧であるかあるいは聞こえ難い」ということは成り立たない fact17: このクリスマスイブは貧血気味だ fact18: もしも何らかのものは貧血気味でないならそれは夢枕でないかもしくはマンＵでないかあるいは両方だ fact19: このクリスマスイブが夢枕でないとすればこの輸送艦はマンＵであるし加えて貧血気味である fact20: もし「その争議は貧血気味でなくて近くない」ということは誤りだとすれば夢枕でない
fact14 & fact17 -> int1: このクリスマスイブはマンＵで更に貧血気味である; int1 & fact7 -> int2: その大引きは夢枕でない; int2 & fact4 -> int3: 「その争議は夢枕でないし近くない」ということは成り立つということはない; fact5 -> int4: 仮に「「その争議は夢枕でなくてそれに近くない」ということは事実と異なる」ということは本当であるならば「それは聞こえ難くない」ということは成り立つ; int3 & int4 -> int5: 「その争議は聞こえ難いということはない」ということは成り立つ; int5 & fact13 -> hypothesis;
この輸送艦は貧血気味だ
fact24 -> int6: もしその争議は別課税一覧でないとしたら「沈思しくないけれど遺言する」ということは間違いだ; fact21 -> int7: もし仮にその争議は改編しないがしかし逞しいならばそれは別課税一覧であるということはない;
$facts$ = fact1: もしもなにがしかの物が説明し易いならばそれは乏しくない fact2: もし仮になんらかのものは改編するということはないけど逞しいとすると「別課税一覧でない」ということは事実だ fact3: もし仮にその大引きは沈思しくないとすると「それは近いししかもそれは聞こえ難い」ということは成り立たない fact4: 仮にその大引きは夢枕でないとすれば「その争議は夢枕でないし更にそれは近くない」ということは誤りだ fact5: もしも「とある物は夢枕だということはなくて更に近くない」ということは成り立たないとしたら「それは聞こえ難くない」ということは本当だ fact6: もし仮に何らかの物は別課税一覧でないとすれば「それは沈思しくないが遺言する」ということは偽だ fact7: もしこのクリスマスイブがマンＵで貧血気味であるとすればその大引きは夢枕でない fact8: もし何らかのものが遺言するということはないならそれは沈思する一方で近くない fact9: 仮にこのクリスマスイブが夢枕でないならその商業ビルはマンＵでない fact10: もし仮に「「その争議は沈思しくないがそれは遺言する」ということは正しくない」ということは確かであるとしたらその大引きは沈思しくない fact11: 「もし仮にその争議が夢枕だしそれにマンＵであるとするとその商業ビルは別課税一覧でない」ということは事実だ fact12: 仮に「なんらかのものは別課税一覧でなくておまけに聞こえ難くない」ということは本当でないとしたらそれは夢枕でない fact13: その争議が聞こえ難いということはないとすればその商業ビルは別課税一覧であるかまたはそれは聞こえ難い fact14: このクリスマスイブはマンＵだ fact15: 近くない物は貧血気味でない fact16: もしなにかはマンＵでないとしたら「別課税一覧であるかあるいは聞こえ難い」ということは成り立たない fact17: このクリスマスイブは貧血気味だ fact18: もしも何らかのものは貧血気味でないならそれは夢枕でないかもしくはマンＵでないかあるいは両方だ fact19: このクリスマスイブが夢枕でないとすればこの輸送艦はマンＵであるし加えて貧血気味である fact20: もし「その争議は貧血気味でなくて近くない」ということは誤りだとすれば夢枕でない ; $hypothesis$ = 「その商業ビルは別課税一覧であるかそれは聞こえ難い」ということは確かでない ; $proof$ = 
fact14 & fact17 -> int1: このクリスマスイブはマンＵで更に貧血気味である; int1 & fact7 -> int2: その大引きは夢枕でない; int2 & fact4 -> int3: 「その争議は夢枕でないし近くない」ということは成り立つということはない; fact5 -> int4: 仮に「「その争議は夢枕でなくてそれに近くない」ということは事実と異なる」ということは本当であるならば「それは聞こえ難くない」ということは成り立つ; int3 & int4 -> 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: もし「その争議は貧血気味でなくて近くない」ということは誤りだとすれば夢枕でない

仮説: 「その商業ビルは別課税一覧であるかそれは聞こえ難い」ということは確かでない
1. 事実14と事実17から、推論1: "このクリスマスイブはマンＵで更に貧血気味である"が導かれる
2. 推論1と事実7から、推論2: "その大引きは夢枕でない"が導かれる
3. 推論2と事実4から、推論3: "「その争議は夢枕でないし近くない」ということは成り立つということはない"が導かれる
4. 事実5から、推論4: "仮に「「その争議は夢枕でなくてそれに近くない」ということは事実と異なる」ということは本当であるならば「それは聞こえ難くない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "「その争議は聞こえ難いということはない」ということは成り立つ"が導かれる
6. 推論5と事実13から、仮説が否定される

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