そのプライマリパーティションは人間本来であるかもしくはそれは厚しない
fact1: もしなにかは詔勅でないとしたらそれは雇い入れるし加えて御し易い fact2: 「あの物々交換は見え辛いし更に詔勅である」ということは成り立たない fact3: 「そのプライマリパーティションは清しないけれどそれは読み掛ける」ということは偽だとしたらそれは性格要因だ fact4: もしある物は性格要因でないなら「人間本来であるか御与えに成らない」ということは嘘だ fact5: 「そのプライマリパーティションは清しということはないが読み掛ける」ということは確かでない fact6: 仮に「あの物々交換は見え辛いし詔勅だ」ということは成り立たないとするとそれは詔勅でない fact7: もしもある物は性格要因であるなら「人間本来であるか厚しないかまたはどちらもである」ということは嘘である fact8: 仮に何らかのものは雇い入れるなら「清しないが読み掛ける」ということは誤っている fact9: そのプライマリパーティションは人間本来でない
fact7 -> int1: 仮にそのプライマリパーティションは性格要因だとすると「人間本来であるかあるいはそれは厚しない」ということは正しくない; fact5 & fact3 -> int2: そのプライマリパーティションは性格要因である; int1 & int2 -> hypothesis;
fact7 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); fact5 & fact3 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「「あの地域振興券は人間本来であるかあるいは御与えに成らない」ということは成り立たない」ということは間違いでない
fact13 -> int3: もし「あの地域振興券は性格要因でない」ということは真実なら「それは人間本来であるかもしくは御与えに成らない」ということは偽である; fact11 -> int4: もし仮にあの物々交換は雇い入れるとすれば「それは清しということはないけど読み掛ける」ということは偽だ; fact14 -> int5: 仮にあの物々交換は詔勅でないならば雇い入れるし御し易い; fact12 & fact10 -> int6: 「あの物々交換は詔勅でない」ということは成り立つ; int5 & int6 -> int7: あの物々交換は雇い入れるしまた御し易い; int7 -> int8: あの物々交換は雇い入れる; int4 & int8 -> int9: 「あの物々交換は清しないけど読み掛ける」ということは成り立たない; int9 -> int10: 「「清しということはないがしかし読み掛ける」ということは成り立たない」ものはある;
$facts$ = fact1: もしなにかは詔勅でないとしたらそれは雇い入れるし加えて御し易い fact2: 「あの物々交換は見え辛いし更に詔勅である」ということは成り立たない fact3: 「そのプライマリパーティションは清しないけれどそれは読み掛ける」ということは偽だとしたらそれは性格要因だ fact4: もしある物は性格要因でないなら「人間本来であるか御与えに成らない」ということは嘘だ fact5: 「そのプライマリパーティションは清しということはないが読み掛ける」ということは確かでない fact6: 仮に「あの物々交換は見え辛いし詔勅だ」ということは成り立たないとするとそれは詔勅でない fact7: もしもある物は性格要因であるなら「人間本来であるか厚しないかまたはどちらもである」ということは嘘である fact8: 仮に何らかのものは雇い入れるなら「清しないが読み掛ける」ということは誤っている fact9: そのプライマリパーティションは人間本来でない ; $hypothesis$ = そのプライマリパーティションは人間本来であるかもしくはそれは厚しない ; $proof$ = 
fact7 -> int1: 仮にそのプライマリパーティションは性格要因だとすると「人間本来であるかあるいはそれは厚しない」ということは正しくない; fact5 & fact3 -> int2: そのプライマリパーティションは性格要因である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにかは詔勅でないとしたらそれは雇い入れるし加えて御し易い
事実2: 「あの物々交換は見え辛いし更に詔勅である」ということは成り立たない
事実3: 「そのプライマリパーティションは清しないけれどそれは読み掛ける」ということは偽だとしたらそれは性格要因だ
事実4: もしある物は性格要因でないなら「人間本来であるか御与えに成らない」ということは嘘だ
事実5: 「そのプライマリパーティションは清しということはないが読み掛ける」ということは確かでない
事実6: 仮に「あの物々交換は見え辛いし詔勅だ」ということは成り立たないとするとそれは詔勅でない
事実7: もしもある物は性格要因であるなら「人間本来であるか厚しないかまたはどちらもである」ということは嘘である
事実8: 仮に何らかのものは雇い入れるなら「清しないが読み掛ける」ということは誤っている
事実9: そのプライマリパーティションは人間本来でない

仮説: そのプライマリパーティションは人間本来であるかもしくはそれは厚しない
1. 事実7から、推論1: "仮にそのプライマリパーティションは性格要因だとすると「人間本来であるかあるいはそれは厚しない」ということは正しくない"が導かれる
2. 事実5と事実3から、推論2: "そのプライマリパーティションは性格要因である"が導かれる
3. 推論1と推論2から、仮説が否定される

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