なにがしかのものは引っ張り回す
fact1: 仮にこのＪＡが擽ったいということはないならばこのメリヤスは宿願でない fact2: 「変わり行かない」物はある fact3: このＪＡは名指ししないかそれは擽ったいかまたはどちらもだ fact4: もしこのＪＡが擽ったくないか利用し辛いかもしくは両方だとすれば「このメリヤスは宿願でない」ということは確かである fact5: もし「変わり行かない」物があるとすればこのメリヤスは名指しするしそれに宿願である fact6: このメリヤスは擽ったい fact7: このメリヤスはスピットボールでない fact8: このメリヤスは有り難し fact9: もしもとある物が参画出来れば利用し辛い fact10: 仮にこのＪＡが参画出来れば宿願だ fact11: その三の次は擽ったい fact12: 仮にこのメリヤスが宿願であるということはないかまたは利用し辛いか両方ともだとしたらこのＪＡは名指しするということはない fact13: もし仮になんらかの物が引っ張り回すということはないとすれば参画出来る
fact13 -> int1: もしこのＪＡが引っ張り回さないならば参画出来る; void -> assump1: 以下のように仮定する。このＪＡは引っ張り回さない; int1 & assump1 -> int2: このＪＡは参画出来る; fact9 -> int3: 仮にこのＪＡが参画出来るとしたら利用し辛い; int2 & int3 -> int4: このＪＡは利用し辛い; int4 -> int5: このＪＡは擽ったくないかまたは利用し辛いかもしくはどちらもである; int5 & fact4 -> int6: このメリヤスは宿願であるということはない; fact5 & fact2 -> int7: このメリヤスは名指しするしおまけにそれは宿願である; int7 -> int8: このメリヤスは宿願である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このＪＡは引っ張り回す; int10 -> hypothesis;
$facts$ = fact1: 仮にこのＪＡが擽ったいということはないならばこのメリヤスは宿願でない fact2: 「変わり行かない」物はある fact3: このＪＡは名指ししないかそれは擽ったいかまたはどちらもだ fact4: もしこのＪＡが擽ったくないか利用し辛いかもしくは両方だとすれば「このメリヤスは宿願でない」ということは確かである fact5: もし「変わり行かない」物があるとすればこのメリヤスは名指しするしそれに宿願である fact6: このメリヤスは擽ったい fact7: このメリヤスはスピットボールでない fact8: このメリヤスは有り難し fact9: もしもとある物が参画出来れば利用し辛い fact10: 仮にこのＪＡが参画出来れば宿願だ fact11: その三の次は擽ったい fact12: 仮にこのメリヤスが宿願であるということはないかまたは利用し辛いか両方ともだとしたらこのＪＡは名指しするということはない fact13: もし仮になんらかの物が引っ張り回すということはないとすれば参画出来る ; $hypothesis$ = なにがしかのものは引っ張り回す ; $proof$ = 
fact13 -> int1: もしこのＪＡが引っ張り回さないならば参画出来る; void -> assump1: 以下のように仮定する。このＪＡは引っ張り回さない; int1 & assump1 -> int2: このＪＡは参画出来る; fact9 -> int3: 仮にこのＪＡが参画出来るとしたら利用し辛い; int2 & int3 -> int4: このＪＡは利用し辛い; int4 -> int5: このＪＡは擽ったくないかまたは利用し辛いかもしくはどちらもである; int5 & fact4 -> int6: このメリヤスは宿願であるということはない; fact5 & fact2 -> int7: このメリヤスは名指しするしおまけにそれは宿願である; int7 -> int8: このメリヤスは宿願である; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このＪＡは引っ張り回す; int10 -> hypothesis; __PROVED__
事実1: 仮にこのＪＡが擽ったいということはないならばこのメリヤスは宿願でない
事実2: 「変わり行かない」物はある
事実3: このＪＡは名指ししないかそれは擽ったいかまたはどちらもだ
事実4: もしこのＪＡが擽ったくないか利用し辛いかもしくは両方だとすれば「このメリヤスは宿願でない」ということは確かである
事実5: もし「変わり行かない」物があるとすればこのメリヤスは名指しするしそれに宿願である
事実6: このメリヤスは擽ったい
事実7: このメリヤスはスピットボールでない
事実8: このメリヤスは有り難し
事実9: もしもとある物が参画出来れば利用し辛い
事実10: 仮にこのＪＡが参画出来れば宿願だ
事実11: その三の次は擽ったい
事実12: 仮にこのメリヤスが宿願であるということはないかまたは利用し辛いか両方ともだとしたらこのＪＡは名指しするということはない
事実13: もし仮になんらかの物が引っ張り回すということはないとすれば参画出来る

仮説: なにがしかのものは引っ張り回す
1. 事実13から、推論1: "もしこのＪＡが引っ張り回さないならば参画出来る"が導かれる
2. 仮定1: 以下のように仮定する。このＪＡは引っ張り回さない
3. 推論1と仮定1から、推論2: "このＪＡは参画出来る"が導かれる
4. 事実9から、推論3: "仮にこのＪＡが参画出来るとしたら利用し辛い"が導かれる
5. 推論2と推論3から、推論4: "このＪＡは利用し辛い"が導かれる
6. 推論4から、推論5: "このＪＡは擽ったくないかまたは利用し辛いかもしくはどちらもである"が導かれる
7. 推論5と事実4から、推論6: "このメリヤスは宿願であるということはない"が導かれる
8. 事実5と事実2から、推論7: "このメリヤスは名指しするしおまけにそれは宿願である"が導かれる
9. 推論7から、推論8: "このメリヤスは宿願である"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "このＪＡは引っ張り回す"が導かれる
12. 推論10から、仮説が導かれる

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