あの老人斑はめぼしい
fact1: あの老人斑は往来たるない fact2: 仮にその光子線が農業界でないならこのＭＧ／Ｋ化学当量比は言語上であるということはない fact3: もしも「その光子線は往来たるないがそれは運び易い」ということは間違いであるなら「それは農業界だ」ということは成り立たない fact4: 仮にあの老人斑が素通りであるということはないならその光子線はめぼしくない fact5: 仮にあるものはめぼしくないとしたら「それは素通りでなくてまた熱い」ということは誤りだ fact6: このＭＧ／Ｋ化学当量比が言語上でないけれど熱いとしたらそれは向かえる fact7: その光子線は素通りでない fact8: この養蚕は熱い fact9: もしもこのＭＧ／Ｋ化学当量比が専門的支援だとしたらあの老人斑はめぼしい fact10: このＭＧ／Ｋ化学当量比は熱い fact11: その光子線は往来たるないけれどそれは熱い fact12: 何かは素通りでないなら「それは往来たるない一方で運び易い」ということは事実と異なる fact13: もしもこのＭＧ／Ｋ化学当量比が言語上であるならそれが農業界だしその上それは素通りでない fact14: あの老人斑は熱い fact15: あの東京クラブは素通りでない fact16: もし仮にこのＭＧ／Ｋ化学当量比は向かえるとすれば「それは専門的支援だ」ということは真実だ
fact12 -> int1: もしその光子線は素通りでないとすれば「それは往来たるないし更に運び易い」ということは成り立たない; int1 & fact7 -> int2: 「その光子線は往来たるないけど運び易い」ということは間違っている; int2 & fact3 -> int3: その光子線は農業界でない; int3 & fact2 -> int4: このＭＧ／Ｋ化学当量比は言語上でない; int4 & fact10 -> int5: このＭＧ／Ｋ化学当量比は言語上でないけど熱い; int5 & fact6 -> int6: このＭＧ／Ｋ化学当量比は向かえる; int6 & fact16 -> int7: このＭＧ／Ｋ化学当量比は専門的支援である; int7 & fact9 -> hypothesis;
あの老人斑はめぼしくない
$facts$ = fact1: あの老人斑は往来たるない fact2: 仮にその光子線が農業界でないならこのＭＧ／Ｋ化学当量比は言語上であるということはない fact3: もしも「その光子線は往来たるないがそれは運び易い」ということは間違いであるなら「それは農業界だ」ということは成り立たない fact4: 仮にあの老人斑が素通りであるということはないならその光子線はめぼしくない fact5: 仮にあるものはめぼしくないとしたら「それは素通りでなくてまた熱い」ということは誤りだ fact6: このＭＧ／Ｋ化学当量比が言語上でないけれど熱いとしたらそれは向かえる fact7: その光子線は素通りでない fact8: この養蚕は熱い fact9: もしもこのＭＧ／Ｋ化学当量比が専門的支援だとしたらあの老人斑はめぼしい fact10: このＭＧ／Ｋ化学当量比は熱い fact11: その光子線は往来たるないけれどそれは熱い fact12: 何かは素通りでないなら「それは往来たるない一方で運び易い」ということは事実と異なる fact13: もしもこのＭＧ／Ｋ化学当量比が言語上であるならそれが農業界だしその上それは素通りでない fact14: あの老人斑は熱い fact15: あの東京クラブは素通りでない fact16: もし仮にこのＭＧ／Ｋ化学当量比は向かえるとすれば「それは専門的支援だ」ということは真実だ ; $hypothesis$ = あの老人斑はめぼしい ; $proof$ = 
fact12 -> int1: もしその光子線は素通りでないとすれば「それは往来たるないし更に運び易い」ということは成り立たない; int1 & fact7 -> int2: 「その光子線は往来たるないけど運び易い」ということは間違っている; int2 & fact3 -> int3: その光子線は農業界でない; int3 & fact2 -> int4: このＭＧ／Ｋ化学当量比は言語上でない; int4 & fact10 -> int5: このＭＧ／Ｋ化学当量比は言語上でないけど熱い; int5 & fact6 -> int6: このＭＧ／Ｋ化学当量比は向かえる; int6 & fact16 -> int7: このＭＧ／Ｋ化学当量比は専門的支援である; int7 & fact9 -> hypothesis; __PROVED__
事実1: あの老人斑は往来たるない
事実2: 仮にその光子線が農業界でないならこのＭＧ／Ｋ化学当量比は言語上であるということはない
事実3: もしも「その光子線は往来たるないがそれは運び易い」ということは間違いであるなら「それは農業界だ」ということは成り立たない
事実4: 仮にあの老人斑が素通りであるということはないならその光子線はめぼしくない
事実5: 仮にあるものはめぼしくないとしたら「それは素通りでなくてまた熱い」ということは誤りだ
事実6: このＭＧ／Ｋ化学当量比が言語上でないけれど熱いとしたらそれは向かえる
事実7: その光子線は素通りでない
事実8: この養蚕は熱い
事実9: もしもこのＭＧ／Ｋ化学当量比が専門的支援だとしたらあの老人斑はめぼしい
事実10: このＭＧ／Ｋ化学当量比は熱い
事実11: その光子線は往来たるないけれどそれは熱い
事実12: 何かは素通りでないなら「それは往来たるない一方で運び易い」ということは事実と異なる
事実13: もしもこのＭＧ／Ｋ化学当量比が言語上であるならそれが農業界だしその上それは素通りでない
事実14: あの老人斑は熱い
事実15: あの東京クラブは素通りでない
事実16: もし仮にこのＭＧ／Ｋ化学当量比は向かえるとすれば「それは専門的支援だ」ということは真実だ

仮説: あの老人斑はめぼしい
1. 事実12から、推論1: "もしその光子線は素通りでないとすれば「それは往来たるないし更に運び易い」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "「その光子線は往来たるないけど運び易い」ということは間違っている"が導かれる
3. 推論2と事実3から、推論3: "その光子線は農業界でない"が導かれる
4. 推論3と事実2から、推論4: "このＭＧ／Ｋ化学当量比は言語上でない"が導かれる
5. 推論4と事実10から、推論5: "このＭＧ／Ｋ化学当量比は言語上でないけど熱い"が導かれる
6. 推論5と事実6から、推論6: "このＭＧ／Ｋ化学当量比は向かえる"が導かれる
7. 推論6と事実16から、推論7: "このＭＧ／Ｋ化学当量比は専門的支援である"が導かれる
8. 推論7と事実9から、仮説が導かれる

よって、仮説が証明されました。