「この失宜行動は蹴れる」ということは成り立つ
fact1: 仮にあるものは低迷しないなら「それは蹴れるしおまけにＢＭＴだ」ということは真実だ fact2: もし仮にその室内ドアは見慣れないならば「この当為はＧＵＩアプリケーションでないけど痩せ難い」ということは誤っている fact3: もし仮に「この当為はＧＵＩアプリケーションでないが痩せ難い」ということは成り立たないとすれば低迷しない fact4: その室内ドアは沈み切らない fact5: もしもその室内ドアが蹴れるかあるいはそれが邪魔臭いかもしくはどちらもだとするとこの失宜行動はＢＭＴでない fact6: あの暑熱は邪魔臭い fact7: 仮にこの失宜行動がＢＭＴであるか邪魔臭いならばあの室内ドアは蹴れない fact8: もし仮にとあるものが沈み切るとすればそれは伊勢神宮だ fact9: もしもその室内ドアがＢＭＴでないならばこの失宜行動は蹴れるし沈み切る fact10: もしもその室内ドアが沈み切るということはないとしたらそれは邪魔臭くておまけに広い fact11: この失宜行動は満つ一方でそれは籠もるということはない fact12: その室内ドアは幅広くない fact13: もしも「なにがしかの物は男女同一賃金であるけれど感謝致さない」ということは偽ならそれは沈み切る fact14: 「その室内ドアは邪魔臭い」ということは成り立つ fact15: その土日は沈み切らない fact16: もし「その室内ドアは低迷しなくてそれに感謝致さない」ということは成り立つということはないとしたらそれはＢＭＴでない fact17: この彫刻家はＢＭＴだ fact18: もしその室内ドアが沈み切らないとしたら邪魔臭い fact19: この失宜行動は邪魔臭くない fact20: もしその室内ドアがＢＭＴであるとすればこの失宜行動は蹴れない fact21: 仮にこの失宜行動は満つとすると「この当為は男女同一賃金である一方でそれは感謝致さない」ということは偽だ fact22: もし仮にその室内ドアが広いかもしくはＢＭＴであるならこの失宜行動は蹴れない
fact10 & fact4 -> int1: その室内ドアは邪魔臭いしそれにそれは広い; int1 -> int2: その室内ドアは広い; int2 -> int3: その室内ドアは広いかもしくはそれはＢＭＴであるかもしくは両方である; int3 & fact22 -> hypothesis;
この当為は伊勢神宮で蹴れる
fact27 -> int4: もしこの当為が沈み切るならそれは伊勢神宮である; fact26 -> int5: もし仮に「この当為は男女同一賃金であるけど感謝致さない」ということは成り立たないならば「沈み切る」ということは本当である; fact29 -> int6: この失宜行動は満つ; fact23 & int6 -> int7: 「この当為は男女同一賃金である一方で感謝致さない」ということは嘘だ; int5 & int7 -> int8: この当為は沈み切る; int4 & int8 -> int9: この当為は伊勢神宮だ; fact24 -> int10: もしもこの当為が低迷しないとしたら蹴れるしかつそれはＢＭＴである;
$facts$ = fact1: 仮にあるものは低迷しないなら「それは蹴れるしおまけにＢＭＴだ」ということは真実だ fact2: もし仮にその室内ドアは見慣れないならば「この当為はＧＵＩアプリケーションでないけど痩せ難い」ということは誤っている fact3: もし仮に「この当為はＧＵＩアプリケーションでないが痩せ難い」ということは成り立たないとすれば低迷しない fact4: その室内ドアは沈み切らない fact5: もしもその室内ドアが蹴れるかあるいはそれが邪魔臭いかもしくはどちらもだとするとこの失宜行動はＢＭＴでない fact6: あの暑熱は邪魔臭い fact7: 仮にこの失宜行動がＢＭＴであるか邪魔臭いならばあの室内ドアは蹴れない fact8: もし仮にとあるものが沈み切るとすればそれは伊勢神宮だ fact9: もしもその室内ドアがＢＭＴでないならばこの失宜行動は蹴れるし沈み切る fact10: もしもその室内ドアが沈み切るということはないとしたらそれは邪魔臭くておまけに広い fact11: この失宜行動は満つ一方でそれは籠もるということはない fact12: その室内ドアは幅広くない fact13: もしも「なにがしかの物は男女同一賃金であるけれど感謝致さない」ということは偽ならそれは沈み切る fact14: 「その室内ドアは邪魔臭い」ということは成り立つ fact15: その土日は沈み切らない fact16: もし「その室内ドアは低迷しなくてそれに感謝致さない」ということは成り立つということはないとしたらそれはＢＭＴでない fact17: この彫刻家はＢＭＴだ fact18: もしその室内ドアが沈み切らないとしたら邪魔臭い fact19: この失宜行動は邪魔臭くない fact20: もしその室内ドアがＢＭＴであるとすればこの失宜行動は蹴れない fact21: 仮にこの失宜行動は満つとすると「この当為は男女同一賃金である一方でそれは感謝致さない」ということは偽だ fact22: もし仮にその室内ドアが広いかもしくはＢＭＴであるならこの失宜行動は蹴れない ; $hypothesis$ = 「この失宜行動は蹴れる」ということは成り立つ ; $proof$ = 
fact10 & fact4 -> int1: その室内ドアは邪魔臭いしそれにそれは広い; int1 -> int2: その室内ドアは広い; int2 -> int3: その室内ドアは広いかもしくはそれはＢＭＴであるかもしくは両方である; int3 & fact22 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは低迷しないなら「それは蹴れるしおまけにＢＭＴだ」ということは真実だ
事実2: もし仮にその室内ドアは見慣れないならば「この当為はＧＵＩアプリケーションでないけど痩せ難い」ということは誤っている
事実3: もし仮に「この当為はＧＵＩアプリケーションでないが痩せ難い」ということは成り立たないとすれば低迷しない
事実4: その室内ドアは沈み切らない
事実5: もしもその室内ドアが蹴れるかあるいはそれが邪魔臭いかもしくはどちらもだとするとこの失宜行動はＢＭＴでない
事実6: あの暑熱は邪魔臭い
事実7: 仮にこの失宜行動がＢＭＴであるか邪魔臭いならばあの室内ドアは蹴れない
事実8: もし仮にとあるものが沈み切るとすればそれは伊勢神宮だ
事実9: もしもその室内ドアがＢＭＴでないならばこの失宜行動は蹴れるし沈み切る
事実10: もしもその室内ドアが沈み切るということはないとしたらそれは邪魔臭くておまけに広い
事実11: この失宜行動は満つ一方でそれは籠もるということはない
事実12: その室内ドアは幅広くない
事実13: もしも「なにがしかの物は男女同一賃金であるけれど感謝致さない」ということは偽ならそれは沈み切る
事実14: 「その室内ドアは邪魔臭い」ということは成り立つ
事実15: その土日は沈み切らない
事実16: もし「その室内ドアは低迷しなくてそれに感謝致さない」ということは成り立つということはないとしたらそれはＢＭＴでない
事実17: この彫刻家はＢＭＴだ
事実18: もしその室内ドアが沈み切らないとしたら邪魔臭い
事実19: この失宜行動は邪魔臭くない
事実20: もしその室内ドアがＢＭＴであるとすればこの失宜行動は蹴れない
事実21: 仮にこの失宜行動は満つとすると「この当為は男女同一賃金である一方でそれは感謝致さない」ということは偽だ
事実22: もし仮にその室内ドアが広いかもしくはＢＭＴであるならこの失宜行動は蹴れない

仮説: 「この失宜行動は蹴れる」ということは成り立つ
1. 事実10と事実4から、推論1: "その室内ドアは邪魔臭いしそれにそれは広い"が導かれる
2. 推論1から、推論2: "その室内ドアは広い"が導かれる
3. 推論2から、推論3: "その室内ドアは広いかもしくはそれはＢＭＴであるかもしくは両方である"が導かれる
4. 推論3と事実22から、仮説が否定される

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