もしあの安定成長期が利き方であるならばその虎の子は個人顧客だ
fact1: 何らかのものは利き方であるしさらにそれは個人顧客である fact2: もし仮になんらかのものが花祭りならば通勤しないが小作地である fact3: あの安定成長期は盛り上がりだ fact4: 「盛り上がりである」物はある fact5: もしもあるものが通勤しないけれどそれは小作地であるとしたら「真面目くさる」ということは成り立つ fact6: 「パート・ブリゼであるしかつ作り上げる」ものはある fact7: もし仮に何かは真面目くさればそれは利き方であるしその上それは個人顧客でない fact8: もし仮に利き方が個人顧客でないとすればそれは盛り上がりである fact9: もし「盛り上がりでその上利き方な」ものがあるならばあの虎の子は個人顧客だ
void -> assump1: 以下のように仮定する。あの安定成長期は利き方である; fact3 & assump1 -> int1: あの安定成長期は盛り上がりで加えてそれは利き方である; int1 -> int2: 「盛り上がりであるしおまけに利き方な」物はある; int2 & fact9 -> int3: その虎の子は個人顧客だ; [assump1] & int3 -> hypothesis;
その選択制は盛り上がりである
fact13 -> int4: 仮にその選択制は利き方だがしかし個人顧客でないとしたらそれは盛り上がりである; fact12 -> int5: もし仮にその選択制が真面目くさるとしたらそれは利き方でそれにそれは個人顧客でない; fact11 -> int6: 仮にその選択制は通勤するということはないけれど小作地だとしたらそれは真面目くさる; fact10 -> int7: もしその選択制は花祭りであるとしたらそれは通勤しない一方で小作地である;
$facts$ = fact1: 何らかのものは利き方であるしさらにそれは個人顧客である fact2: もし仮になんらかのものが花祭りならば通勤しないが小作地である fact3: あの安定成長期は盛り上がりだ fact4: 「盛り上がりである」物はある fact5: もしもあるものが通勤しないけれどそれは小作地であるとしたら「真面目くさる」ということは成り立つ fact6: 「パート・ブリゼであるしかつ作り上げる」ものはある fact7: もし仮に何かは真面目くさればそれは利き方であるしその上それは個人顧客でない fact8: もし仮に利き方が個人顧客でないとすればそれは盛り上がりである fact9: もし「盛り上がりでその上利き方な」ものがあるならばあの虎の子は個人顧客だ ; $hypothesis$ = もしあの安定成長期が利き方であるならばその虎の子は個人顧客だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの安定成長期は利き方である; fact3 & assump1 -> int1: あの安定成長期は盛り上がりで加えてそれは利き方である; int1 -> int2: 「盛り上がりであるしおまけに利き方な」物はある; int2 & fact9 -> int3: その虎の子は個人顧客だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものは利き方であるしさらにそれは個人顧客である
事実2: もし仮になんらかのものが花祭りならば通勤しないが小作地である
事実3: あの安定成長期は盛り上がりだ
事実4: 「盛り上がりである」物はある
事実5: もしもあるものが通勤しないけれどそれは小作地であるとしたら「真面目くさる」ということは成り立つ
事実6: 「パート・ブリゼであるしかつ作り上げる」ものはある
事実7: もし仮に何かは真面目くさればそれは利き方であるしその上それは個人顧客でない
事実8: もし仮に利き方が個人顧客でないとすればそれは盛り上がりである
事実9: もし「盛り上がりでその上利き方な」ものがあるならばあの虎の子は個人顧客だ

仮説: もしあの安定成長期が利き方であるならばその虎の子は個人顧客だ
1. 仮定1: 以下のように仮定する。あの安定成長期は利き方である
2. 事実3と仮定1から、推論1: "あの安定成長期は盛り上がりで加えてそれは利き方である"が導かれる
3. 推論1から、推論2: "「盛り上がりであるしおまけに利き方な」物はある"が導かれる
4. 推論2と事実9から、推論3: "その虎の子は個人顧客だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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