その標準材料費はバルバリーでない
fact1: 仮に何らかの物がＵＮＤＰでないならばそれはバルバリーでそれは買い取りだ fact2: もし仮にこの社会協同パレスが御入らないとするとその建設工事紛争審査会は美し過ぎるしまたバルバリーだ fact3: その建設工事紛争審査会は更新する fact4: もし仮にあの機動隊員が双極でない一方で御世継ぎならその標準材料費は掘り込まない fact5: この社会協同パレスが美し過ぎるがしかし更新しないとすればＵＮＤＰだ fact6: 「この常磐炭鉱は断り難い」ということは正しい fact7: この社会協同パレスは美し過ぎる fact8: その建設工事紛争審査会は横たえるし更に惨い fact9: もし仮にこの常磐炭鉱がロザリオならばその標準材料費はバルバリーだ fact10: この社会協同パレスが買い取りでないとするとこの常磐炭鉱は断り難い fact11: もしなんらかのものは承継しないとすれば「断り難いかもしくはロザリオでない」ということは事実と異なるということはない fact12: あの機動隊員は双極でないがしかし御世継ぎだ fact13: 仮にこの社会協同パレスが御入らないしそれはロザリオでないならば「この迫害はＵＮＤＰでない」ということは本当だ fact14: 「その標準材料費はロザリオだしさらに御入る」ということは事実と異なるとすればそれは御入らない fact15: その建設工事紛争審査会は御入る fact16: もし仮に「横たえる」物はあるとしたら「この社会協同パレスは御入らない」ということは誤りでない fact17: もしもなんらかのものが断り難いかあるいはロザリオであるということはないとしたらこの社会協同パレスはロザリオでない fact18: その標準材料費が掘り込まないとしたらそれは束縛するしさらにそれは承継する fact19: この社会協同パレスは美し過ぎるが更新しない fact20: 仮にその標準材料費が束縛するし承継するとしたらこの常磐炭鉱は承継しない fact21: 仮にこの社会協同パレスがＵＮＤＰだしおまけに買い取りであるとすればあの建設工事紛争審査会は御入らない fact22: この社会協同パレスが買い取りでないならばこの常磐炭鉱はロザリオであるし更に断り難い fact23: もしもその標準材料費が御入らないとしたらそれは買い取りであるし加えてＵＮＤＰである
fact5 & fact19 -> int1: この社会協同パレスはＵＮＤＰである; void -> assump1: 以下のように仮定する。この社会協同パレスは買い取りだ; int1 & assump1 -> int2: この社会協同パレスはＵＮＤＰだしさらに買い取りだ; int2 & fact21 -> int3: その建設工事紛争審査会は御入らない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この社会協同パレスは買い取りでない」ということは正しい; int5 & fact22 -> int6: この常磐炭鉱はロザリオで断り難い; int6 -> int7: この常磐炭鉱はロザリオである; int7 & fact9 -> hypothesis;
この迫害はバルバリーである
fact33 -> int8: この迫害がＵＮＤＰだということはないとしたらバルバリーだしそれは買い取りだ; fact27 -> int9: その建設工事紛争審査会は横たえる; int9 -> int10: 「ある物は横たえる」ということは確かである; int10 & fact26 -> int11: 「この社会協同パレスは御入らない」ということは事実だ; fact31 -> int12: 仮にこの常磐炭鉱が承継しないとしたら断り難いかあるいはロザリオだということはないかもしくはどちらもである; fact24 & fact29 -> int13: その標準材料費は掘り込まない; fact28 & int13 -> int14: その標準材料費は束縛するし承継する; fact30 & int14 -> int15: この常磐炭鉱は承継しない; int12 & int15 -> int16: この常磐炭鉱は断り難いかロザリオでないか両方である; int16 -> int17: なにがしかの物は断り難いかあるいはロザリオだということはない; int17 & fact32 -> int18: この社会協同パレスはロザリオでない; int11 & int18 -> int19: この社会協同パレスは御入らないし加えてロザリオでない; fact25 & int19 -> int20: この迫害はＵＮＤＰでない; int8 & int20 -> int21: 「この迫害はバルバリーであるし買い取りである」ということは成り立つ; int21 -> 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: もしもその標準材料費が御入らないとしたらそれは買い取りであるし加えてＵＮＤＰである ; $hypothesis$ = その標準材料費はバルバリーでない ; $proof$ = 
fact5 & fact19 -> int1: この社会協同パレスはＵＮＤＰである; void -> assump1: 以下のように仮定する。この社会協同パレスは買い取りだ; int1 & assump1 -> int2: この社会協同パレスはＵＮＤＰだしさらに買い取りだ; int2 & fact21 -> int3: その建設工事紛争審査会は御入らない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この社会協同パレスは買い取りでない」ということは正しい; int5 & fact22 -> int6: この常磐炭鉱はロザリオで断り難い; int6 -> int7: この常磐炭鉱はロザリオである; int7 & fact9 -> 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: もしもその標準材料費が御入らないとしたらそれは買い取りであるし加えてＵＮＤＰである

仮説: その標準材料費はバルバリーでない
1. 事実5と事実19から、推論1: "この社会協同パレスはＵＮＤＰである"が導かれる
2. 仮定1: 以下のように仮定する。この社会協同パレスは買い取りだ
3. 推論1と仮定1から、推論2: "この社会協同パレスはＵＮＤＰだしさらに買い取りだ"が導かれる
4. 推論2と事実21から、推論3: "その建設工事紛争審査会は御入らない"が導かれる
5. 推論3と事実15から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この社会協同パレスは買い取りでない」ということは正しい"が導かれる
7. 推論5と事実22から、推論6: "この常磐炭鉱はロザリオで断り難い"が導かれる
8. 推論6から、推論7: "この常磐炭鉱はロザリオである"が導かれる
9. 推論7と事実9から、仮説が否定される

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