そのクルド人は尋ね合わない
fact1: もしそのクルド人は割り出すなら「それは個人的資源である一方で贈与しない」ということは真実でない fact2: そのクルド人は割り出す fact3: もしなにかは蔑視しないとしたらそれは倹しいしさらに権利確定日である fact4: そのクルド人は権利確定日だ fact5: もし何かは権利確定日でないとするとそれは狂えるかもしくは果てし無いかもしくは両方ともだ fact6: そのクルド人が尋ね合わないとすると蔑視するかもしくは果てし無いかあるいはどちらもだ fact7: その骨質は割り出す fact8: 「この八十年代中頃は個人的資源だ」ということは成り立てば「そのクルド人は蔑視するけど権利確定日であるということはない」ということは成り立たない fact9: もしこのＰＢＴが割り出すということはないとしたらそのクルド人は止む無くないかもしくはそれは個人的資源だ fact10: もしこの八十年代中頃が蔑視するとすればあのクルド人は個人的資源である fact11: もしも何らかの物が割り出さないならばそれは個人的資源であるかもしくは贈与するかあるいは両方ともである fact12: この八十年代中頃は贈与しないかまたは尋ね合うかあるいは両方ともだ fact13: もしもそのクルド人が狂えらないならそれは権利確定日であるか割り出すかまたは両方だ fact14: 仮にあの終了時間が狂えるとしたらこの八十年代中頃は蔑視する fact15: 仮にこの八十年代中頃が贈与しないかあるいはそれが尋ね合うかもしくは両方ともならばその新婚カップルは蔑視しない fact16: あの終了時間は権利確定日でない fact17: もしあの終了時間が果てし無いならばあの八十年代中頃は蔑視する fact18: もし仮にそのクルド人は贈与するとすると「それは尋ね合う」ということは真実である fact19: 果てし無くない物は尋ね合うかもしくは蔑視するかまたは両方だ
fact5 -> int1: 仮にあの終了時間は権利確定日でないなら狂えるかまたは果てし無い; int1 & fact16 -> int2: あの終了時間は狂えるかそれは果てし無い; int2 & fact14 & fact17 -> int3: この八十年代中頃は蔑視する; int3 & fact10 -> int4: そのクルド人は個人的資源だ; void -> assump1: 以下のように仮定する。「そのクルド人は贈与しない」ということは間違っていない; int4 & assump1 -> int5: そのクルド人は個人的資源であるけど贈与しない; fact1 & fact2 -> int6: 「そのクルド人は個人的資源だ一方で贈与するということはない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのクルド人は贈与する; int8 & fact18 -> hypothesis;
そのクルド人は尋ね合わない
fact21 -> int9: 「この悪仲間は割り出さない」ということは事実だとすればそれは個人的資源であるかあるいは贈与する;
$facts$ = fact1: もしそのクルド人は割り出すなら「それは個人的資源である一方で贈与しない」ということは真実でない fact2: そのクルド人は割り出す fact3: もしなにかは蔑視しないとしたらそれは倹しいしさらに権利確定日である fact4: そのクルド人は権利確定日だ fact5: もし何かは権利確定日でないとするとそれは狂えるかもしくは果てし無いかもしくは両方ともだ fact6: そのクルド人が尋ね合わないとすると蔑視するかもしくは果てし無いかあるいはどちらもだ fact7: その骨質は割り出す fact8: 「この八十年代中頃は個人的資源だ」ということは成り立てば「そのクルド人は蔑視するけど権利確定日であるということはない」ということは成り立たない fact9: もしこのＰＢＴが割り出すということはないとしたらそのクルド人は止む無くないかもしくはそれは個人的資源だ fact10: もしこの八十年代中頃が蔑視するとすればあのクルド人は個人的資源である fact11: もしも何らかの物が割り出さないならばそれは個人的資源であるかもしくは贈与するかあるいは両方ともである fact12: この八十年代中頃は贈与しないかまたは尋ね合うかあるいは両方ともだ fact13: もしもそのクルド人が狂えらないならそれは権利確定日であるか割り出すかまたは両方だ fact14: 仮にあの終了時間が狂えるとしたらこの八十年代中頃は蔑視する fact15: 仮にこの八十年代中頃が贈与しないかあるいはそれが尋ね合うかもしくは両方ともならばその新婚カップルは蔑視しない fact16: あの終了時間は権利確定日でない fact17: もしあの終了時間が果てし無いならばあの八十年代中頃は蔑視する fact18: もし仮にそのクルド人は贈与するとすると「それは尋ね合う」ということは真実である fact19: 果てし無くない物は尋ね合うかもしくは蔑視するかまたは両方だ ; $hypothesis$ = そのクルド人は尋ね合わない ; $proof$ = 
fact5 -> int1: 仮にあの終了時間は権利確定日でないなら狂えるかまたは果てし無い; int1 & fact16 -> int2: あの終了時間は狂えるかそれは果てし無い; int2 & fact14 & fact17 -> int3: この八十年代中頃は蔑視する; int3 & fact10 -> int4: そのクルド人は個人的資源だ; void -> assump1: 以下のように仮定する。「そのクルド人は贈与しない」ということは間違っていない; int4 & assump1 -> int5: そのクルド人は個人的資源であるけど贈与しない; fact1 & fact2 -> int6: 「そのクルド人は個人的資源だ一方で贈与するということはない」ということは成り立たない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのクルド人は贈与する; int8 & fact18 -> hypothesis; __DISPROVED__
事実1: もしそのクルド人は割り出すなら「それは個人的資源である一方で贈与しない」ということは真実でない
事実2: そのクルド人は割り出す
事実3: もしなにかは蔑視しないとしたらそれは倹しいしさらに権利確定日である
事実4: そのクルド人は権利確定日だ
事実5: もし何かは権利確定日でないとするとそれは狂えるかもしくは果てし無いかもしくは両方ともだ
事実6: そのクルド人が尋ね合わないとすると蔑視するかもしくは果てし無いかあるいはどちらもだ
事実7: その骨質は割り出す
事実8: 「この八十年代中頃は個人的資源だ」ということは成り立てば「そのクルド人は蔑視するけど権利確定日であるということはない」ということは成り立たない
事実9: もしこのＰＢＴが割り出すということはないとしたらそのクルド人は止む無くないかもしくはそれは個人的資源だ
事実10: もしこの八十年代中頃が蔑視するとすればあのクルド人は個人的資源である
事実11: もしも何らかの物が割り出さないならばそれは個人的資源であるかもしくは贈与するかあるいは両方ともである
事実12: この八十年代中頃は贈与しないかまたは尋ね合うかあるいは両方ともだ
事実13: もしもそのクルド人が狂えらないならそれは権利確定日であるか割り出すかまたは両方だ
事実14: 仮にあの終了時間が狂えるとしたらこの八十年代中頃は蔑視する
事実15: 仮にこの八十年代中頃が贈与しないかあるいはそれが尋ね合うかもしくは両方ともならばその新婚カップルは蔑視しない
事実16: あの終了時間は権利確定日でない
事実17: もしあの終了時間が果てし無いならばあの八十年代中頃は蔑視する
事実18: もし仮にそのクルド人は贈与するとすると「それは尋ね合う」ということは真実である
事実19: 果てし無くない物は尋ね合うかもしくは蔑視するかまたは両方だ

仮説: そのクルド人は尋ね合わない
1. 事実5から、推論1: "仮にあの終了時間は権利確定日でないなら狂えるかまたは果てし無い"が導かれる
2. 推論1と事実16から、推論2: "あの終了時間は狂えるかそれは果てし無い"が導かれる
3. 推論2と事実14と事実17から、推論3: "この八十年代中頃は蔑視する"が導かれる
4. 推論3と事実10から、推論4: "そのクルド人は個人的資源だ"が導かれる
5. 仮定1: 以下のように仮定する。「そのクルド人は贈与しない」ということは間違っていない
6. 推論4と仮定1から、推論5: "そのクルド人は個人的資源であるけど贈与しない"が導かれる
7. 事実1と事実2から、推論6: "「そのクルド人は個人的資源だ一方で贈与するということはない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "そのクルド人は贈与する"が導かれる
10. 推論8と事実18から、仮説が否定される

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