「その指示収穫地価はプロフェッショナル・ホワイトカラーでない一方でそれは次世代育成支援対策推進法である」ということは間違っている
fact1: もし仮に「「次世代育成支援対策推進法でないし卑しくない」ということは成り立たない」物はあるとすると「その指示収穫地価は次世代育成支援対策推進法だ」ということは成り立つ fact2: 「その当代は見辛いということはない」ということは事実である fact3: その対象馬が在宅リハビリテーション事業でないがしかし賢いならその指示収穫地価はプロフェッショナル・ホワイトカラーでない fact4: 「「次世代育成支援対策推進法だけれど卑しくない」ということは間違っている」物はある fact5: 「その対象馬は在宅リハビリテーション事業であるということはない」ということは本当だ fact6: 「もし仮にその当代が見辛いということはないならその当代は取り出し易い」ということは成り立つ fact7: もし仮に「なにかは卑しいがしかしそれは成り切らない」ということは成り立たないとすればそれは卑しくない fact8: もしなにがしかのものは卑しいということはないならば「取り出し易くないしおまけにプロフェッショナル・ホワイトカラーでない」ということは間違っている fact9: 「その対象馬は在宅リハビリテーション事業でないが賢い」ということは間違いであるとすればその当代は取り出し易くない fact10: 「「次世代育成支援対策推進法でないけど卑しい」ということは間違いな」物はある fact11: 「あのビジネス書は次世代育成支援対策推進法であるということはなくて卑しくない」ということは誤っている fact12: 「あのビジネス書は次世代育成支援対策推進法だけれど卑しくない」ということは間違っている
void -> assump1: 以下のように仮定する。「その対象馬は在宅リハビリテーション事業でないがしかし賢い」ということは事実でない; fact9 & assump1 -> int1: 「その当代は取り出し易くない」ということは成り立つ; fact2 & fact6 -> int2: その当代は取り出し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その対象馬は在宅リハビリテーション事業でないけれど賢い; int4 & fact3 -> int5: その指示収穫地価はプロフェッショナル・ホワイトカラーでない; fact11 -> int6: 「「次世代育成支援対策推進法でなくて卑しいということはない」ということは誤っている」物はある; fact1 & int6 -> int7: その指示収穫地価は次世代育成支援対策推進法だ; int5 & int7 -> hypothesis;
「その対象馬は次世代育成支援対策推進法でない」ということは成り立つ
fact13 -> int8: その対象馬は卑しくないなら「それは取り出し易くないししかもプロフェッショナル・ホワイトカラーでない」ということは成り立たない; fact14 -> int9: もしも「その対象馬は卑しいが成り切らない」ということは誤りであるなら卑しくない;
$facts$ = fact1: もし仮に「「次世代育成支援対策推進法でないし卑しくない」ということは成り立たない」物はあるとすると「その指示収穫地価は次世代育成支援対策推進法だ」ということは成り立つ fact2: 「その当代は見辛いということはない」ということは事実である fact3: その対象馬が在宅リハビリテーション事業でないがしかし賢いならその指示収穫地価はプロフェッショナル・ホワイトカラーでない fact4: 「「次世代育成支援対策推進法だけれど卑しくない」ということは間違っている」物はある fact5: 「その対象馬は在宅リハビリテーション事業であるということはない」ということは本当だ fact6: 「もし仮にその当代が見辛いということはないならその当代は取り出し易い」ということは成り立つ fact7: もし仮に「なにかは卑しいがしかしそれは成り切らない」ということは成り立たないとすればそれは卑しくない fact8: もしなにがしかのものは卑しいということはないならば「取り出し易くないしおまけにプロフェッショナル・ホワイトカラーでない」ということは間違っている fact9: 「その対象馬は在宅リハビリテーション事業でないが賢い」ということは間違いであるとすればその当代は取り出し易くない fact10: 「「次世代育成支援対策推進法でないけど卑しい」ということは間違いな」物はある fact11: 「あのビジネス書は次世代育成支援対策推進法であるということはなくて卑しくない」ということは誤っている fact12: 「あのビジネス書は次世代育成支援対策推進法だけれど卑しくない」ということは間違っている ; $hypothesis$ = 「その指示収穫地価はプロフェッショナル・ホワイトカラーでない一方でそれは次世代育成支援対策推進法である」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「その対象馬は在宅リハビリテーション事業でないがしかし賢い」ということは事実でない; fact9 & assump1 -> int1: 「その当代は取り出し易くない」ということは成り立つ; fact2 & fact6 -> int2: その当代は取り出し易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その対象馬は在宅リハビリテーション事業でないけれど賢い; int4 & fact3 -> int5: その指示収穫地価はプロフェッショナル・ホワイトカラーでない; fact11 -> int6: 「「次世代育成支援対策推進法でなくて卑しいということはない」ということは誤っている」物はある; fact1 & int6 -> int7: その指示収穫地価は次世代育成支援対策推進法だ; int5 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮に「「次世代育成支援対策推進法でないし卑しくない」ということは成り立たない」物はあるとすると「その指示収穫地価は次世代育成支援対策推進法だ」ということは成り立つ
事実2: 「その当代は見辛いということはない」ということは事実である
事実3: その対象馬が在宅リハビリテーション事業でないがしかし賢いならその指示収穫地価はプロフェッショナル・ホワイトカラーでない
事実4: 「「次世代育成支援対策推進法だけれど卑しくない」ということは間違っている」物はある
事実5: 「その対象馬は在宅リハビリテーション事業であるということはない」ということは本当だ
事実6: 「もし仮にその当代が見辛いということはないならその当代は取り出し易い」ということは成り立つ
事実7: もし仮に「なにかは卑しいがしかしそれは成り切らない」ということは成り立たないとすればそれは卑しくない
事実8: もしなにがしかのものは卑しいということはないならば「取り出し易くないしおまけにプロフェッショナル・ホワイトカラーでない」ということは間違っている
事実9: 「その対象馬は在宅リハビリテーション事業でないが賢い」ということは間違いであるとすればその当代は取り出し易くない
事実10: 「「次世代育成支援対策推進法でないけど卑しい」ということは間違いな」物はある
事実11: 「あのビジネス書は次世代育成支援対策推進法であるということはなくて卑しくない」ということは誤っている
事実12: 「あのビジネス書は次世代育成支援対策推進法だけれど卑しくない」ということは間違っている

仮説: 「その指示収穫地価はプロフェッショナル・ホワイトカラーでない一方でそれは次世代育成支援対策推進法である」ということは間違っている
1. 仮定1: 以下のように仮定する。「その対象馬は在宅リハビリテーション事業でないがしかし賢い」ということは事実でない
2. 事実9と仮定1から、推論1: "「その当代は取り出し易くない」ということは成り立つ"が導かれる
3. 事実2と事実6から、推論2: "その当代は取り出し易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その対象馬は在宅リハビリテーション事業でないけれど賢い"が導かれる
6. 推論4と事実3から、推論5: "その指示収穫地価はプロフェッショナル・ホワイトカラーでない"が導かれる
7. 事実11から、推論6: "「「次世代育成支援対策推進法でなくて卑しいということはない」ということは誤っている」物はある"が導かれる
8. 事実1と推論6から、推論7: "その指示収穫地価は次世代育成支援対策推進法だ"が導かれる
9. 推論5と推論7から、仮説が否定される

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