「仮に「ヒヤリングするということはない」ということは間違いでないならば「スポーツマンらしいけど針師でない」ということは偽な」ものはある
fact1: 「もしも「ヒヤリングしない」ということは本当ならばスポーツマンらしいがしかし針師でない」ものはある fact2: 仮に何かは迷い難くないとしたら「金銀財宝だしサンドしない」ということは成り立たない fact3: 仮にこの労働者人口はヒヤリングするということはないなら「スポーツマンらしいしかつ針師である」ということは間違っている fact4: もしもこの当事者適格は代用出来ないとすると「スポーツマンらしいし一剤だということはない」ということは偽だ fact5: もしこの労働者人口はヒヤリングするということはないとしたら「それはスポーツマンらしいしそれにそれは針師でない」ということは成り立たない fact6: 「仮にヒヤリングしないとしたら「スポーツマンらしいし針師である」ということは間違っている」物はある fact7: もし仮にこの労働者人口はヒヤリングするなら「スポーツマンらしいがしかし針師であるということはない」ということは成り立つということはない fact8: もし仮にこの労働者人口はスポーツマンらしくないとしたら「それは共通善思想である一方で大鉄塔でない」ということは成り立たない fact9: もし仮にこの労働者人口がヒヤリングしないとするとスポーツマンらしい一方で針師であるということはない fact10: もしもなにがしかのものは免れ難くないなら「獅子奮迅だ一方で囃し立てない」ということは誤っている fact11: 「仮にヒヤリングするとすると「スポーツマンらしいし更に針師でない」ということは真実であるということはない」ものはある fact12: もし仮にこの労働者人口は激しいということはないとすると「ヒヤリングするしそれは安心し切らない」ということは誤りである
fact5 -> hypothesis;
「免れ難くないとしたら「「獅子奮迅であるしまた囃し立てない」ということは成り立つ」ということは誤りな」物はある
fact13 -> int1: 仮にこの帳合いは免れ難くないなら「それは獅子奮迅であるがしかし囃し立てない」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 「もしも「ヒヤリングしない」ということは本当ならばスポーツマンらしいがしかし針師でない」ものはある fact2: 仮に何かは迷い難くないとしたら「金銀財宝だしサンドしない」ということは成り立たない fact3: 仮にこの労働者人口はヒヤリングするということはないなら「スポーツマンらしいしかつ針師である」ということは間違っている fact4: もしもこの当事者適格は代用出来ないとすると「スポーツマンらしいし一剤だということはない」ということは偽だ fact5: もしこの労働者人口はヒヤリングするということはないとしたら「それはスポーツマンらしいしそれにそれは針師でない」ということは成り立たない fact6: 「仮にヒヤリングしないとしたら「スポーツマンらしいし針師である」ということは間違っている」物はある fact7: もし仮にこの労働者人口はヒヤリングするなら「スポーツマンらしいがしかし針師であるということはない」ということは成り立つということはない fact8: もし仮にこの労働者人口はスポーツマンらしくないとしたら「それは共通善思想である一方で大鉄塔でない」ということは成り立たない fact9: もし仮にこの労働者人口がヒヤリングしないとするとスポーツマンらしい一方で針師であるということはない fact10: もしもなにがしかのものは免れ難くないなら「獅子奮迅だ一方で囃し立てない」ということは誤っている fact11: 「仮にヒヤリングするとすると「スポーツマンらしいし更に針師でない」ということは真実であるということはない」ものはある fact12: もし仮にこの労働者人口は激しいということはないとすると「ヒヤリングするしそれは安心し切らない」ということは誤りである ; $hypothesis$ = 「仮に「ヒヤリングするということはない」ということは間違いでないならば「スポーツマンらしいけど針師でない」ということは偽な」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もしも「ヒヤリングしない」ということは本当ならばスポーツマンらしいがしかし針師でない」ものはある
事実2: 仮に何かは迷い難くないとしたら「金銀財宝だしサンドしない」ということは成り立たない
事実3: 仮にこの労働者人口はヒヤリングするということはないなら「スポーツマンらしいしかつ針師である」ということは間違っている
事実4: もしもこの当事者適格は代用出来ないとすると「スポーツマンらしいし一剤だということはない」ということは偽だ
事実5: もしこの労働者人口はヒヤリングするということはないとしたら「それはスポーツマンらしいしそれにそれは針師でない」ということは成り立たない
事実6: 「仮にヒヤリングしないとしたら「スポーツマンらしいし針師である」ということは間違っている」物はある
事実7: もし仮にこの労働者人口はヒヤリングするなら「スポーツマンらしいがしかし針師であるということはない」ということは成り立つということはない
事実8: もし仮にこの労働者人口はスポーツマンらしくないとしたら「それは共通善思想である一方で大鉄塔でない」ということは成り立たない
事実9: もし仮にこの労働者人口がヒヤリングしないとするとスポーツマンらしい一方で針師であるということはない
事実10: もしもなにがしかのものは免れ難くないなら「獅子奮迅だ一方で囃し立てない」ということは誤っている
事実11: 「仮にヒヤリングするとすると「スポーツマンらしいし更に針師でない」ということは真実であるということはない」ものはある
事実12: もし仮にこの労働者人口は激しいということはないとすると「ヒヤリングするしそれは安心し切らない」ということは誤りである

仮説: 「仮に「ヒヤリングするということはない」ということは間違いでないならば「スポーツマンらしいけど針師でない」ということは偽な」ものはある
1. 事実5から、仮説が導かれる

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