あの四十五日以内は折れない
fact1: あのシベリアンハスキーはハット湾だ fact2: 仮にあのエルシニアがオーストリア・ドイツ人であるならばあの四十五日以内は折れる fact3: あのエルシニアはオーストリア・ドイツ人だ fact4: もしあの四十五日以内が惜しいということはないならばあのエルシニアは捗々しいし加えて炭素繊維だ fact5: もし「とあるものは折れるがしかしそれはハット湾でない」ということは偽なら折れない fact6: 「賃貸方式でない」ものはある fact7: あるものはオーストリア・ドイツ人でないならば「折れるしまた炭素繊維である」ということは偽である fact8: もし仮に「賃貸方式だということはない」物があるとすればあの四十五日以内は惜しくない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その視察ブロックはオーストリア・ドイツ人である
fact10 & fact9 -> int1: あの四十五日以内は惜しくない; fact12 & int1 -> int2: あのエルシニアは捗々しくてかつそれは炭素繊維である; int2 -> int3: あのエルシニアは炭素繊維だ; fact13 -> int4: 「あのエルシニアは折れるけどハット湾だということはない」ということは誤っているとすれば折れない; fact11 -> int5: 「ハット湾である」物はある;
$facts$ = fact1: あのシベリアンハスキーはハット湾だ fact2: 仮にあのエルシニアがオーストリア・ドイツ人であるならばあの四十五日以内は折れる fact3: あのエルシニアはオーストリア・ドイツ人だ fact4: もしあの四十五日以内が惜しいということはないならばあのエルシニアは捗々しいし加えて炭素繊維だ fact5: もし「とあるものは折れるがしかしそれはハット湾でない」ということは偽なら折れない fact6: 「賃貸方式でない」ものはある fact7: あるものはオーストリア・ドイツ人でないならば「折れるしまた炭素繊維である」ということは偽である fact8: もし仮に「賃貸方式だということはない」物があるとすればあの四十五日以内は惜しくない ; $hypothesis$ = あの四十五日以内は折れない ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: あのシベリアンハスキーはハット湾だ
事実2: 仮にあのエルシニアがオーストリア・ドイツ人であるならばあの四十五日以内は折れる
事実3: あのエルシニアはオーストリア・ドイツ人だ
事実4: もしあの四十五日以内が惜しいということはないならばあのエルシニアは捗々しいし加えて炭素繊維だ
事実5: もし「とあるものは折れるがしかしそれはハット湾でない」ということは偽なら折れない
事実6: 「賃貸方式でない」ものはある
事実7: あるものはオーストリア・ドイツ人でないならば「折れるしまた炭素繊維である」ということは偽である
事実8: もし仮に「賃貸方式だということはない」物があるとすればあの四十五日以内は惜しくない

仮説: あの四十五日以内は折れない
1. 事実2と事実3から、仮説が否定される

よって、仮説が否定されました。