そのＣライクマンはうら若しない
fact1: このブラインド役が減少し始めないならあの学習院は事実関係でかつ減少し始める fact2: もし仮に「あの学習院が事実関係だしそれにそれは減少し始める」ということは事実だとすればそのＣライクマンはうら若しない fact3: あの学習院は減少し始める fact4: このブラインド役はフラボンでないがしかし委任事務であるなら減少し始めるということはない fact5: 仮にそのＣライクマンが吸収され難くないとすればこのブラインド役はうら若ししおまけに吸収され難い fact6: もしも「あの学習院は移行し易いということはない」ということは事実であるならそれは政治任用でしかもそれは面倒臭い fact7: このブラインド役はフラボンでないがしかし委任事務である fact8: 衛生植物検疫措置は押し付けがましい fact9: あの学習院は移行し易くない fact10: なにがしかのものは政治任用であるとすると「参禅するしそれは衛生植物検疫措置でない」ということは偽である fact11: このブラインド役は事実関係でない fact12: このブラインド役は押し付けがましいとすれば「彫像でなくて更に出湯でない」ということは成り立たない fact13: 「このブラインド役は彫像でなくて加えて出湯であるということはない」ということは成り立たないならば「そのＣライクマンは減少し始めない」ということは成り立つ fact14: 「「参禅するし衛生植物検疫措置でない」ということは誤りである」物があるならこのブラインド役は押し付けがましかない fact15: もし仮に「このブラインド役は政治任用でない」ということは事実と異ならないとするとそれは参禅するしおまけに衛生植物検疫措置である fact16: 仮に「あの学習院は面倒臭くて政治任用である」ということは正しくないとするとこのブラインド役は政治任用でない fact17: 彫像はうら若し fact18: このブラインド役が押し付けがましいということはないならその被害者家族が彫像だしそれは出湯である fact19: このブラインド役はフラボンでない fact20: うら若し物は事実関係であるということはなくてしかも減少し始めない fact21: もしこのブラインド役はフラボンでまた委任事務だとすれば減少し始めない fact22: このブラインド役が減少し始めないならばあの学習院は減少し始める
fact4 & fact7 -> int1: 「このブラインド役は減少し始めない」ということは事実と異ならない; int1 & fact1 -> int2: あの学習院は事実関係であるし減少し始める; int2 & fact2 -> hypothesis;
その被害者家族は減少し始めない
fact29 -> int3: その被害者家族がうら若しなら事実関係でないししかも減少し始めない; fact24 -> int4: もしその被害者家族が彫像だとすればうら若し; fact26 -> int5: 仮にあの学習院は政治任用だとすると「それは参禅するし衛生植物検疫措置だということはない」ということは成り立たない; fact23 & fact27 -> int6: あの学習院が政治任用だし面倒臭い; int6 -> int7: あの学習院は政治任用である; int5 & int7 -> int8: 「「あの学習院は参禅するが衛生植物検疫措置でない」ということは間違っている」ということは成り立つ; int8 -> int9: 「「参禅するし衛生植物検疫措置でない」ということは確かでない」物はある; int9 & fact28 -> int10: このブラインド役は押し付けがましかない; fact25 & int10 -> int11: その被害者家族は彫像であるしその上それは出湯だ; int11 -> int12: その被害者家族は彫像である; int4 & int12 -> int13: その被害者家族はうら若し; int3 & int13 -> int14: その被害者家族は事実関係だということはないし減少し始めない; int14 -> hypothesis;
$facts$ = fact1: このブラインド役が減少し始めないならあの学習院は事実関係でかつ減少し始める fact2: もし仮に「あの学習院が事実関係だしそれにそれは減少し始める」ということは事実だとすればそのＣライクマンはうら若しない fact3: あの学習院は減少し始める fact4: このブラインド役はフラボンでないがしかし委任事務であるなら減少し始めるということはない fact5: 仮にそのＣライクマンが吸収され難くないとすればこのブラインド役はうら若ししおまけに吸収され難い fact6: もしも「あの学習院は移行し易いということはない」ということは事実であるならそれは政治任用でしかもそれは面倒臭い fact7: このブラインド役はフラボンでないがしかし委任事務である fact8: 衛生植物検疫措置は押し付けがましい fact9: あの学習院は移行し易くない fact10: なにがしかのものは政治任用であるとすると「参禅するしそれは衛生植物検疫措置でない」ということは偽である fact11: このブラインド役は事実関係でない fact12: このブラインド役は押し付けがましいとすれば「彫像でなくて更に出湯でない」ということは成り立たない fact13: 「このブラインド役は彫像でなくて加えて出湯であるということはない」ということは成り立たないならば「そのＣライクマンは減少し始めない」ということは成り立つ fact14: 「「参禅するし衛生植物検疫措置でない」ということは誤りである」物があるならこのブラインド役は押し付けがましかない fact15: もし仮に「このブラインド役は政治任用でない」ということは事実と異ならないとするとそれは参禅するしおまけに衛生植物検疫措置である fact16: 仮に「あの学習院は面倒臭くて政治任用である」ということは正しくないとするとこのブラインド役は政治任用でない fact17: 彫像はうら若し fact18: このブラインド役が押し付けがましいということはないならその被害者家族が彫像だしそれは出湯である fact19: このブラインド役はフラボンでない fact20: うら若し物は事実関係であるということはなくてしかも減少し始めない fact21: もしこのブラインド役はフラボンでまた委任事務だとすれば減少し始めない fact22: このブラインド役が減少し始めないならばあの学習院は減少し始める ; $hypothesis$ = そのＣライクマンはうら若しない ; $proof$ = 
fact4 & fact7 -> int1: 「このブラインド役は減少し始めない」ということは事実と異ならない; int1 & fact1 -> int2: あの学習院は事実関係であるし減少し始める; int2 & fact2 -> hypothesis; __PROVED__
事実1: このブラインド役が減少し始めないならあの学習院は事実関係でかつ減少し始める
事実2: もし仮に「あの学習院が事実関係だしそれにそれは減少し始める」ということは事実だとすればそのＣライクマンはうら若しない
事実3: あの学習院は減少し始める
事実4: このブラインド役はフラボンでないがしかし委任事務であるなら減少し始めるということはない
事実5: 仮にそのＣライクマンが吸収され難くないとすればこのブラインド役はうら若ししおまけに吸収され難い
事実6: もしも「あの学習院は移行し易いということはない」ということは事実であるならそれは政治任用でしかもそれは面倒臭い
事実7: このブラインド役はフラボンでないがしかし委任事務である
事実8: 衛生植物検疫措置は押し付けがましい
事実9: あの学習院は移行し易くない
事実10: なにがしかのものは政治任用であるとすると「参禅するしそれは衛生植物検疫措置でない」ということは偽である
事実11: このブラインド役は事実関係でない
事実12: このブラインド役は押し付けがましいとすれば「彫像でなくて更に出湯でない」ということは成り立たない
事実13: 「このブラインド役は彫像でなくて加えて出湯であるということはない」ということは成り立たないならば「そのＣライクマンは減少し始めない」ということは成り立つ
事実14: 「「参禅するし衛生植物検疫措置でない」ということは誤りである」物があるならこのブラインド役は押し付けがましかない
事実15: もし仮に「このブラインド役は政治任用でない」ということは事実と異ならないとするとそれは参禅するしおまけに衛生植物検疫措置である
事実16: 仮に「あの学習院は面倒臭くて政治任用である」ということは正しくないとするとこのブラインド役は政治任用でない
事実17: 彫像はうら若し
事実18: このブラインド役が押し付けがましいということはないならその被害者家族が彫像だしそれは出湯である
事実19: このブラインド役はフラボンでない
事実20: うら若し物は事実関係であるということはなくてしかも減少し始めない
事実21: もしこのブラインド役はフラボンでまた委任事務だとすれば減少し始めない
事実22: このブラインド役が減少し始めないならばあの学習院は減少し始める

仮説: そのＣライクマンはうら若しない
1. 事実4と事実7から、推論1: "「このブラインド役は減少し始めない」ということは事実と異ならない"が導かれる
2. 推論1と事実1から、推論2: "あの学習院は事実関係であるし減少し始める"が導かれる
3. 推論2と事実2から、仮説が導かれる

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