もしもこの日頃が染み込み易いとするとこの材料は動き難くないかあるいはそれはめんどくないかまたはどちらもだ
fact1: もしこの材料が逼迫すればこの日頃は逼迫するということはないかあるいはそれは染み込み易いということはないかあるいは両方だ fact2: このダクトは動き難くなくてしかもそれは染み込み易くない fact3: この日頃が染み込み易いならこの材料は動き難くないかあるいはめんどいかもしくはどちらもだ fact4: 「「物凄くないかもしくはＫＲであるかあるいは両方ともだ」ということは誤っている」ものがあるならこの日頃は学級内である fact5: この日頃は有彩色でしかも逼迫する fact6: 物凄いものはある fact7: 「もし仮にこの日頃が有彩色であるとするとこの日頃はＫＲだ」ということは真実だ fact8: もし仮に「この日頃はＫＲだ」ということは真実ならばそれは物凄い fact9: もし仮に動き難くない物が染み込み易くないとすればこの材料はＫＲでない fact10: もし仮にこのダクトが染み込み易いということはないけど動き難いとするとこの材料は染み込み易くない fact11: もし仮に「この材料は染み込み易くない」ということは事実だとしたらそのスイートオレンジは染み込み易くない fact12: この材料は動き難くないかあるいはそれはめんどいかまたはどちらもだ fact13: この日頃は動き難いかまたは有彩色でない fact14: もし仮になにかは有彩色でないとすればチャンピオンであるし逼迫する fact15: この材料は染み込み易い fact16: あの国憲は染み込み易くてまた切り難い fact17: そのスイートオレンジは染み込み易い fact18: もし仮にそのスイートオレンジが動き難いとするとこの材料は動き難くないかあるいはめんどくないかあるいはどちらもである fact19: 仮にそのスイートオレンジは染み込み易くないとすると「物凄くないかあるいはＫＲであるかあるいは両方である」ということは成り立たない fact20: 「「染み込み易い」ということは成り立つ」物はある fact21: この日頃は逼迫する fact22: 仮に染み込み易いし物凄いものがあるとするとそのスイートオレンジは動き難い fact23: もしもこの日頃が染み込み易いならこの材料は動き難いかめんどくないかもしくは両方である
fact5 -> int1: 「この日頃は有彩色である」ということは確かである; int1 & fact7 -> int2: この日頃はＫＲである; int2 & fact8 -> int3: この日頃は物凄い; void -> assump1: 以下のように仮定する。この日頃は染み込み易い; int3 & assump1 -> int4: この日頃は染み込み易くて物凄い; int4 -> int5: あるものは染み込み易くてそれは物凄い; int5 & fact22 -> int6: そのスイートオレンジは動き難い; int6 & fact18 -> int7: この材料は動き難くないかあるいはめんどくないかまたは両方である; [assump1] & int7 -> hypothesis;
この日頃はチャンピオンであるしその上それは逼迫する
fact25 -> int8: 仮に「この日頃は有彩色でない」ということは成り立てばそれがチャンピオンだし更にそれは逼迫する; fact24 -> int9: 動き難くないし加えて染み込み易いということはないものはある; int9 & fact26 -> int10: この材料はＫＲでない; int10 -> int11: とあるものはＫＲだということはない;
$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 -> int1: 「この日頃は有彩色である」ということは確かである; int1 & fact7 -> int2: この日頃はＫＲである; int2 & fact8 -> int3: この日頃は物凄い; void -> assump1: 以下のように仮定する。この日頃は染み込み易い; int3 & assump1 -> int4: この日頃は染み込み易くて物凄い; int4 -> int5: あるものは染み込み易くてそれは物凄い; int5 & fact22 -> int6: そのスイートオレンジは動き難い; int6 & fact18 -> int7: この材料は動き難くないかあるいはめんどくないかまたは両方である; [assump1] & int7 -> hypothesis; __PROVED__
事実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から、推論1: "「この日頃は有彩色である」ということは確かである"が導かれる
2. 推論1と事実7から、推論2: "この日頃はＫＲである"が導かれる
3. 推論2と事実8から、推論3: "この日頃は物凄い"が導かれる
4. 仮定1: 以下のように仮定する。この日頃は染み込み易い
5. 推論3と仮定1から、推論4: "この日頃は染み込み易くて物凄い"が導かれる
6. 推論4から、推論5: "あるものは染み込み易くてそれは物凄い"が導かれる
7. 推論5と事実22から、推論6: "そのスイートオレンジは動き難い"が導かれる
8. 推論6と事実18から、推論7: "この材料は動き難くないかあるいはめんどくないかまたは両方である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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