「仮にコレヒドール島要塞でないならばツーＯである」ものはある
fact1: 「もし「あのＴＸはコレヒドール島要塞でない」ということは成り立つとしたらあのＴＸはツーＯだ」ということは事実である fact2: もしも何らかのものはコレヒドール島要塞でないならば吸収され難い fact3: もしあのＴＸはコレヒドール島要塞であるとするとツーＯである fact4: もし仮にあの木型がソテーするということはないならそれはコレヒドール島要塞だ fact5: 仮にあのＴＸがツーＯでないとすればそれは書き立てる fact6: もしも「あのＴＸは備え置かない」ということは成り立つとするとコレヒドール島要塞である fact7: 「「もしコレヒドール島要塞だとすると「ツーＯである」ということは真実である」ものはある」ということは成り立つ fact8: 長細くないものは御稽古事だ
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし仮に長細くないとすれば御稽古事である」ものはある
fact9 -> int1: 仮にこの第十三巻資料編近世が長細いということはないなら御稽古事だ; int1 -> hypothesis;
$facts$ = fact1: 「もし「あのＴＸはコレヒドール島要塞でない」ということは成り立つとしたらあのＴＸはツーＯだ」ということは事実である fact2: もしも何らかのものはコレヒドール島要塞でないならば吸収され難い fact3: もしあのＴＸはコレヒドール島要塞であるとするとツーＯである fact4: もし仮にあの木型がソテーするということはないならそれはコレヒドール島要塞だ fact5: 仮にあのＴＸがツーＯでないとすればそれは書き立てる fact6: もしも「あのＴＸは備え置かない」ということは成り立つとするとコレヒドール島要塞である fact7: 「「もしコレヒドール島要塞だとすると「ツーＯである」ということは真実である」ものはある」ということは成り立つ fact8: 長細くないものは御稽古事だ ; $hypothesis$ = 「仮にコレヒドール島要塞でないならばツーＯである」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「もし「あのＴＸはコレヒドール島要塞でない」ということは成り立つとしたらあのＴＸはツーＯだ」ということは事実である
事実2: もしも何らかのものはコレヒドール島要塞でないならば吸収され難い
事実3: もしあのＴＸはコレヒドール島要塞であるとするとツーＯである
事実4: もし仮にあの木型がソテーするということはないならそれはコレヒドール島要塞だ
事実5: 仮にあのＴＸがツーＯでないとすればそれは書き立てる
事実6: もしも「あのＴＸは備え置かない」ということは成り立つとするとコレヒドール島要塞である
事実7: 「「もしコレヒドール島要塞だとすると「ツーＯである」ということは真実である」ものはある」ということは成り立つ
事実8: 長細くないものは御稽古事だ

仮説: 「仮にコレヒドール島要塞でないならばツーＯである」ものはある
1. 事実1から、仮説が導かれる

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