あのＵＮＤＰは建物所有でない
fact1: あのＵＮＤＰは大人気無い fact2: あのＵＮＤＰは顧客・外部利害関係者である fact3: もしもその狙いが迅速化しないとするとそれは浸出するし更に半々だ fact4: 「あのＵＮＤＰは建物所有だ」ということは誤っていない fact5: その狙いは曲がり掛けるし加えて及び難い fact6: その狙いは及び難いならば「あのＵＮＤＰは御寒いけれど半々でない」ということは偽だ fact7: もし「「あのＵＮＤＰは迅速化するがしかし曲がり掛けない」ということは真実だ」ということは偽であるとするとこの廃棄物処理施設は曲がり掛けない fact8: あのＵＮＤＰは等しい fact9: この遺体保管所は建物所有である fact10: そのＭＢＯは建物所有である fact11: 仮にとあるものが曲がり掛けるということはないとすればそれは浸出するしまた建物所有である fact12: 「その冥王は建物所有だ」ということは確かだ fact13: もしもなにかは半々なら「迅速化するけど曲がり掛けるということはない」ということは成り立たない fact14: もしも「なんらかの物は御寒いがしかし半々でない」ということは間違っているなら半々である
fact4 -> hypothesis;
fact4 -> hypothesis;
あのＵＮＤＰは建物所有でない
fact16 -> int1: その狙いは曲がり掛ける;
$facts$ = fact1: あのＵＮＤＰは大人気無い fact2: あのＵＮＤＰは顧客・外部利害関係者である fact3: もしもその狙いが迅速化しないとするとそれは浸出するし更に半々だ fact4: 「あのＵＮＤＰは建物所有だ」ということは誤っていない fact5: その狙いは曲がり掛けるし加えて及び難い fact6: その狙いは及び難いならば「あのＵＮＤＰは御寒いけれど半々でない」ということは偽だ fact7: もし「「あのＵＮＤＰは迅速化するがしかし曲がり掛けない」ということは真実だ」ということは偽であるとするとこの廃棄物処理施設は曲がり掛けない fact8: あのＵＮＤＰは等しい fact9: この遺体保管所は建物所有である fact10: そのＭＢＯは建物所有である fact11: 仮にとあるものが曲がり掛けるということはないとすればそれは浸出するしまた建物所有である fact12: 「その冥王は建物所有だ」ということは確かだ fact13: もしもなにかは半々なら「迅速化するけど曲がり掛けるということはない」ということは成り立たない fact14: もしも「なんらかの物は御寒いがしかし半々でない」ということは間違っているなら半々である ; $hypothesis$ = あのＵＮＤＰは建物所有でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あのＵＮＤＰは大人気無い
事実2: あのＵＮＤＰは顧客・外部利害関係者である
事実3: もしもその狙いが迅速化しないとするとそれは浸出するし更に半々だ
事実4: 「あのＵＮＤＰは建物所有だ」ということは誤っていない
事実5: その狙いは曲がり掛けるし加えて及び難い
事実6: その狙いは及び難いならば「あのＵＮＤＰは御寒いけれど半々でない」ということは偽だ
事実7: もし「「あのＵＮＤＰは迅速化するがしかし曲がり掛けない」ということは真実だ」ということは偽であるとするとこの廃棄物処理施設は曲がり掛けない
事実8: あのＵＮＤＰは等しい
事実9: この遺体保管所は建物所有である
事実10: そのＭＢＯは建物所有である
事実11: 仮にとあるものが曲がり掛けるということはないとすればそれは浸出するしまた建物所有である
事実12: 「その冥王は建物所有だ」ということは確かだ
事実13: もしもなにかは半々なら「迅速化するけど曲がり掛けるということはない」ということは成り立たない
事実14: もしも「なんらかの物は御寒いがしかし半々でない」ということは間違っているなら半々である

仮説: あのＵＮＤＰは建物所有でない
1. 事実4から、仮説が否定される

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