「もし「疲労し易くてさらに好転しない」ということは成り立つということはないなら自立するということはない」物はある
fact1: もし仮にこのヤングは疲労し易いがしかし好転しないとするとそれは自立しない fact2: 仮にこのヤングは疲労し易くないならそれは自立しない fact3: 「もし疲労し易くないならば自立しない」ものはある fact4: 「なにがしかの物は疲労し易いが好転しない」ということは成り立たないとすれば自立する fact5: 「もし「「疲労し易いけど好転しない」ということは成り立つ」ということは成り立たないならば自立する」ものはある fact6: 「もしも「疲労し易いしそれに好転する」ということは間違いであるならば自立しない」ものはある fact7: 仮に「なにがしかのものはやきもきするがしかしそれは疲労し易くない」ということは本当でないとすると三十三人でない fact8: 「ある物は疲労し易いけど好転するということはない」ということは真実でないとすればそれは自立しない fact9: 「このヤングは疲労し易いししかもそれは好転する」ということは成り立たないとすると「自立しない」ということは成り立つ fact10: もし仮にとある物は疲労し易いが好転するということはないならば「自立する」ということは成り立たない
fact8 -> int1: もし「このヤングは疲労し易いけど好転しない」ということは嘘だとするとそれは自立しない; int1 -> hypothesis;
仮に「この事務運営指針はやきもきするけどそれは疲労し易いということはない」ということは誤りであるとすると三十三人でない
fact11 -> hypothesis;
$facts$ = fact1: もし仮にこのヤングは疲労し易いがしかし好転しないとするとそれは自立しない fact2: 仮にこのヤングは疲労し易くないならそれは自立しない fact3: 「もし疲労し易くないならば自立しない」ものはある fact4: 「なにがしかの物は疲労し易いが好転しない」ということは成り立たないとすれば自立する fact5: 「もし「「疲労し易いけど好転しない」ということは成り立つ」ということは成り立たないならば自立する」ものはある fact6: 「もしも「疲労し易いしそれに好転する」ということは間違いであるならば自立しない」ものはある fact7: 仮に「なにがしかのものはやきもきするがしかしそれは疲労し易くない」ということは本当でないとすると三十三人でない fact8: 「ある物は疲労し易いけど好転するということはない」ということは真実でないとすればそれは自立しない fact9: 「このヤングは疲労し易いししかもそれは好転する」ということは成り立たないとすると「自立しない」ということは成り立つ fact10: もし仮にとある物は疲労し易いが好転するということはないならば「自立する」ということは成り立たない ; $hypothesis$ = 「もし「疲労し易くてさらに好転しない」ということは成り立つということはないなら自立するということはない」物はある ; $proof$ = 
fact8 -> int1: もし「このヤングは疲労し易いけど好転しない」ということは嘘だとするとそれは自立しない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこのヤングは疲労し易いがしかし好転しないとするとそれは自立しない
事実2: 仮にこのヤングは疲労し易くないならそれは自立しない
事実3: 「もし疲労し易くないならば自立しない」ものはある
事実4: 「なにがしかの物は疲労し易いが好転しない」ということは成り立たないとすれば自立する
事実5: 「もし「「疲労し易いけど好転しない」ということは成り立つ」ということは成り立たないならば自立する」ものはある
事実6: 「もしも「疲労し易いしそれに好転する」ということは間違いであるならば自立しない」ものはある
事実7: 仮に「なにがしかのものはやきもきするがしかしそれは疲労し易くない」ということは本当でないとすると三十三人でない
事実8: 「ある物は疲労し易いけど好転するということはない」ということは真実でないとすればそれは自立しない
事実9: 「このヤングは疲労し易いししかもそれは好転する」ということは成り立たないとすると「自立しない」ということは成り立つ
事実10: もし仮にとある物は疲労し易いが好転するということはないならば「自立する」ということは成り立たない

仮説: 「もし「疲労し易くてさらに好転しない」ということは成り立つということはないなら自立するということはない」物はある
1. 事実8から、推論1: "もし「このヤングは疲労し易いけど好転しない」ということは嘘だとするとそれは自立しない"が導かれる
2. 推論1から、仮説が導かれる

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