「もし仮に各行事であるし出前しないなら奇策である」ものはある
fact1: 「睦まじいけれど南蛮船であるということはないとすると御悪い」物はある fact2: 仮に弾き易いものは奇策でないならそれは営巣する fact3: 「到達出来る一方で幾何学でないとしたら湿気易い」物はある fact4: もし仮にその国立公文書館は路肩でガラス製管玉であるならそれは各行事である fact5: もしもその国立公文書館は各行事であるしおまけに出前するとすればそれは奇策である fact6: 仮にその国立公文書館は各行事である一方で出前しないとしたらそれは奇策である fact7: 「もしも採種するし消化し難くないならば計画する」ものはある fact8: もし代々木公園が歩き難くないならそれはどでかい fact9: 「もし第四楽章だけど住み着かないならば両群な」ものはある fact10: 「もしも各行事だし出前するとすると奇策な」ものはある
fact6 -> hypothesis;
「代々木公園であるがしかし歩き難くないとするとどでかい」ものはある
fact11 -> int1: 仮にこのチェコ人が代々木公園だ一方で歩き難くないとしたらそれはどでかい; int1 -> hypothesis;
$facts$ = fact1: 「睦まじいけれど南蛮船であるということはないとすると御悪い」物はある fact2: 仮に弾き易いものは奇策でないならそれは営巣する fact3: 「到達出来る一方で幾何学でないとしたら湿気易い」物はある fact4: もし仮にその国立公文書館は路肩でガラス製管玉であるならそれは各行事である fact5: もしもその国立公文書館は各行事であるしおまけに出前するとすればそれは奇策である fact6: 仮にその国立公文書館は各行事である一方で出前しないとしたらそれは奇策である fact7: 「もしも採種するし消化し難くないならば計画する」ものはある fact8: もし代々木公園が歩き難くないならそれはどでかい fact9: 「もし第四楽章だけど住み着かないならば両群な」ものはある fact10: 「もしも各行事だし出前するとすると奇策な」ものはある ; $hypothesis$ = 「もし仮に各行事であるし出前しないなら奇策である」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「睦まじいけれど南蛮船であるということはないとすると御悪い」物はある
事実2: 仮に弾き易いものは奇策でないならそれは営巣する
事実3: 「到達出来る一方で幾何学でないとしたら湿気易い」物はある
事実4: もし仮にその国立公文書館は路肩でガラス製管玉であるならそれは各行事である
事実5: もしもその国立公文書館は各行事であるしおまけに出前するとすればそれは奇策である
事実6: 仮にその国立公文書館は各行事である一方で出前しないとしたらそれは奇策である
事実7: 「もしも採種するし消化し難くないならば計画する」ものはある
事実8: もし代々木公園が歩き難くないならそれはどでかい
事実9: 「もし第四楽章だけど住み着かないならば両群な」ものはある
事実10: 「もしも各行事だし出前するとすると奇策な」ものはある

仮説: 「もし仮に各行事であるし出前しないなら奇策である」ものはある
1. 事実6から、仮説が導かれる

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