「もし仮に「運動家であるしその上ｎＨＲｐでない」ということは成り立たないとしたら「深め合うということはない」ということは成り立つ」物はある
fact1: もしその意気は運動家であるけれどＮＨＲＰでないならば深め合わない fact2: もしも「その意気はＮＨＲＰであるがしかし完全雇用しない」ということは誤りならばそれは仕付けない fact3: 「仮に「運動家で更にＮＨＲＰだということはない」ということは成り立たないならば深め合う」物はある fact4: もし「その意気は運動家であるしＮＨＲＰだ」ということは嘘だとすればそれは深め合わない fact5: 「もしも運動家でないとすれば深め合わない」物はある fact6: 「その意気は運動家であるけどＮＨＲＰでない」ということは誤りだとすると深め合わない fact7: もし仮にその意気は運動家でないとするとそれは深め合うということはない fact8: 「運動家でＮＨＲＰだということはないなら深め合わない」物はある fact9: もし仮に「その意気は運動家であるがしかしＮＨＲＰでない」ということは間違いなら深め合う fact10: 「「運動家であるしかつＮＨＲＰだ」ということは成り立たないなら深め合わない」ものはある fact11: 仮に「何らかのものは名残惜しいけど弟子でない」ということは間違いであるとしたら運悪くない fact12: 「もしもＮＨＲＰであるならば「深め合わない」ということは真実である」物はある fact13: 「何らかのものはごついがそれは深め合わない」ということは事実でないなら焦れったくない
fact6 -> hypothesis;
もしも「あのイレブンは名残惜しいがそれは弟子だということはない」ということは真実でないとすれば運悪くない
fact14 -> hypothesis;
$facts$ = fact1: もしその意気は運動家であるけれどＮＨＲＰでないならば深め合わない fact2: もしも「その意気はＮＨＲＰであるがしかし完全雇用しない」ということは誤りならばそれは仕付けない fact3: 「仮に「運動家で更にＮＨＲＰだということはない」ということは成り立たないならば深め合う」物はある fact4: もし「その意気は運動家であるしＮＨＲＰだ」ということは嘘だとすればそれは深め合わない fact5: 「もしも運動家でないとすれば深め合わない」物はある fact6: 「その意気は運動家であるけどＮＨＲＰでない」ということは誤りだとすると深め合わない fact7: もし仮にその意気は運動家でないとするとそれは深め合うということはない fact8: 「運動家でＮＨＲＰだということはないなら深め合わない」物はある fact9: もし仮に「その意気は運動家であるがしかしＮＨＲＰでない」ということは間違いなら深め合う fact10: 「「運動家であるしかつＮＨＲＰだ」ということは成り立たないなら深め合わない」ものはある fact11: 仮に「何らかのものは名残惜しいけど弟子でない」ということは間違いであるとしたら運悪くない fact12: 「もしもＮＨＲＰであるならば「深め合わない」ということは真実である」物はある fact13: 「何らかのものはごついがそれは深め合わない」ということは事実でないなら焦れったくない ; $hypothesis$ = 「もし仮に「運動家であるしその上ｎＨＲｐでない」ということは成り立たないとしたら「深め合うということはない」ということは成り立つ」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしその意気は運動家であるけれどＮＨＲＰでないならば深め合わない
事実2: もしも「その意気はＮＨＲＰであるがしかし完全雇用しない」ということは誤りならばそれは仕付けない
事実3: 「仮に「運動家で更にＮＨＲＰだということはない」ということは成り立たないならば深め合う」物はある
事実4: もし「その意気は運動家であるしＮＨＲＰだ」ということは嘘だとすればそれは深め合わない
事実5: 「もしも運動家でないとすれば深め合わない」物はある
事実6: 「その意気は運動家であるけどＮＨＲＰでない」ということは誤りだとすると深め合わない
事実7: もし仮にその意気は運動家でないとするとそれは深め合うということはない
事実8: 「運動家でＮＨＲＰだということはないなら深め合わない」物はある
事実9: もし仮に「その意気は運動家であるがしかしＮＨＲＰでない」ということは間違いなら深め合う
事実10: 「「運動家であるしかつＮＨＲＰだ」ということは成り立たないなら深め合わない」ものはある
事実11: 仮に「何らかのものは名残惜しいけど弟子でない」ということは間違いであるとしたら運悪くない
事実12: 「もしもＮＨＲＰであるならば「深め合わない」ということは真実である」物はある
事実13: 「何らかのものはごついがそれは深め合わない」ということは事実でないなら焦れったくない

仮説: 「もし仮に「運動家であるしその上ｎＨＲｐでない」ということは成り立たないとしたら「深め合うということはない」ということは成り立つ」物はある
1. 事実6から、仮説が導かれる

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