「もしも「手痛いかすばしこくない」ということは成り立たないとすれば聴取しない」物はある
fact1: 「仮に「行脚するかＦＳＦでないかまたはどちらもである」ということは間違っているとしたら施行期日でない」物はある fact2: 「もし仮に「手痛いかすばしこくない」ということは成り立たないとすると聴取する」物はある fact3: 「とある物は手痛いかすばしこいかあるいはどちらもだ」ということは偽だとすればそれは聴取しない fact4: もしも「何らかのものは行き交いであるかあるいはそれは迷い難くないかまたは両方だ」ということは確かでないとすれば懐っこいということはない fact5: 「もし仮に「手痛いかもしくはすばしこい」ということは事実と異なれば聴取するということはない」ものはある fact6: 「もし迷い難いか構えでないとすると浅黒くない」ものはある fact7: 仮に「なんらかの物は構え易いかそれは青くない」ということは間違っているなら社長就任でない fact8: 「あの正真は手痛いかもしくはすばしこくないかあるいは両方ともだ」ということは成り立たないとしたら「それは聴取する」ということは正しい fact9: 「もし仮に乾燥するかもしくは神道講釈でないかあるいは両方であるとすれば職業心理学であるということはない」物はある fact10: 仮に「なにかは手痛いかもしくはすばしこくないかもしくはどちらもである」ということは成り立たないとすると聴取しない fact11: なにがしかの物が掛かり易いかあるいは根本だということはないかもしくは両方ともだとしたら立たさない fact12: 「あの正真は手痛いかあるいはすばしこいかどちらもである」ということは間違いなら「聴取するということはない」ということは成り立つ fact13: もし仮にあの正真が手痛いかそれはすばしこくないかあるいは両方ならばそれは聴取しない
fact10 -> int1: もし仮に「あの正真は手痛いかまたはすばしこくないかまたは両方である」ということは間違っていれば聴取するということはない; int1 -> hypothesis;
「もしも「構え易いかまたは青くない」ということは成り立つということはないとすれば社長就任でない」ものはある
fact14 -> int2: もしも「あの御堂関白記は構え易いかそれは青くないかまたは両方ともだ」ということは誤っているとしたらそれは社長就任でない; int2 -> hypothesis;
$facts$ = fact1: 「仮に「行脚するかＦＳＦでないかまたはどちらもである」ということは間違っているとしたら施行期日でない」物はある fact2: 「もし仮に「手痛いかすばしこくない」ということは成り立たないとすると聴取する」物はある fact3: 「とある物は手痛いかすばしこいかあるいはどちらもだ」ということは偽だとすればそれは聴取しない fact4: もしも「何らかのものは行き交いであるかあるいはそれは迷い難くないかまたは両方だ」ということは確かでないとすれば懐っこいということはない fact5: 「もし仮に「手痛いかもしくはすばしこい」ということは事実と異なれば聴取するということはない」ものはある fact6: 「もし迷い難いか構えでないとすると浅黒くない」ものはある fact7: 仮に「なんらかの物は構え易いかそれは青くない」ということは間違っているなら社長就任でない fact8: 「あの正真は手痛いかもしくはすばしこくないかあるいは両方ともだ」ということは成り立たないとしたら「それは聴取する」ということは正しい fact9: 「もし仮に乾燥するかもしくは神道講釈でないかあるいは両方であるとすれば職業心理学であるということはない」物はある fact10: 仮に「なにかは手痛いかもしくはすばしこくないかもしくはどちらもである」ということは成り立たないとすると聴取しない fact11: なにがしかの物が掛かり易いかあるいは根本だということはないかもしくは両方ともだとしたら立たさない fact12: 「あの正真は手痛いかあるいはすばしこいかどちらもである」ということは間違いなら「聴取するということはない」ということは成り立つ fact13: もし仮にあの正真が手痛いかそれはすばしこくないかあるいは両方ならばそれは聴取しない ; $hypothesis$ = 「もしも「手痛いかすばしこくない」ということは成り立たないとすれば聴取しない」物はある ; $proof$ = 
fact10 -> int1: もし仮に「あの正真は手痛いかまたはすばしこくないかまたは両方である」ということは間違っていれば聴取するということはない; int1 -> hypothesis; __PROVED__
事実1: 「仮に「行脚するかＦＳＦでないかまたはどちらもである」ということは間違っているとしたら施行期日でない」物はある
事実2: 「もし仮に「手痛いかすばしこくない」ということは成り立たないとすると聴取する」物はある
事実3: 「とある物は手痛いかすばしこいかあるいはどちらもだ」ということは偽だとすればそれは聴取しない
事実4: もしも「何らかのものは行き交いであるかあるいはそれは迷い難くないかまたは両方だ」ということは確かでないとすれば懐っこいということはない
事実5: 「もし仮に「手痛いかもしくはすばしこい」ということは事実と異なれば聴取するということはない」ものはある
事実6: 「もし迷い難いか構えでないとすると浅黒くない」ものはある
事実7: 仮に「なんらかの物は構え易いかそれは青くない」ということは間違っているなら社長就任でない
事実8: 「あの正真は手痛いかもしくはすばしこくないかあるいは両方ともだ」ということは成り立たないとしたら「それは聴取する」ということは正しい
事実9: 「もし仮に乾燥するかもしくは神道講釈でないかあるいは両方であるとすれば職業心理学であるということはない」物はある
事実10: 仮に「なにかは手痛いかもしくはすばしこくないかもしくはどちらもである」ということは成り立たないとすると聴取しない
事実11: なにがしかの物が掛かり易いかあるいは根本だということはないかもしくは両方ともだとしたら立たさない
事実12: 「あの正真は手痛いかあるいはすばしこいかどちらもである」ということは間違いなら「聴取するということはない」ということは成り立つ
事実13: もし仮にあの正真が手痛いかそれはすばしこくないかあるいは両方ならばそれは聴取しない

仮説: 「もしも「手痛いかすばしこくない」ということは成り立たないとすれば聴取しない」物はある
1. 事実10から、推論1: "もし仮に「あの正真は手痛いかまたはすばしこくないかまたは両方である」ということは間違っていれば聴取するということはない"が導かれる
2. 推論1から、仮説が導かれる

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