その晴天時はアルカロージスであるし融資する
fact1: もしその御調子者は嫌味ったらしいならば「その雅彦達は割譲しないかもしくは嫌味ったらしくないかもしくはどちらもである」ということは間違いである fact2: なにがしかの物はＢＣＧであるとすれば融資する fact3: 仮にその御調子者が対称積層でないならばその晴天時はアルカロージスだ fact4: その古風は施設する fact5: このエイプリルフールは施設する fact6: もしその晴天時がＢＣＧでないとしたら施設するかあるいは割譲するかまたは両方ともである fact7: もしもその御調子者が鳴子だとすると嫌味ったらしい fact8: 仮にその御調子者が対称積層だとすれば鳴子である fact9: 何かは対称積層でないとすると「それはアルカロージスであるしかつ融資する」ということは成り立たない fact10: 「来辛い物は融資する」ということは成り立つ fact11: もしなにがしかの物が施設するとすればそれは嫌味ったらしい fact12: もしも「「その雅彦達は割譲しないかあるいは嫌味ったらしくない」ということは成り立つ」ということは偽ならその古風は施設しない fact13: その晴天時はＢＣＧであるかまたは来辛いかもしくは両方ともである
void -> assump1: 以下のように仮定する。その御調子者は対称積層である; fact8 & assump1 -> int1: その御調子者は鳴子である; int1 & fact7 -> int2: 「その御調子者は嫌味ったらしい」ということは確かである; int2 & fact1 -> int3: 「その雅彦達は割譲するということはないか嫌味ったらしくないかまたは両方である」ということは成り立たない; int3 & fact12 -> int4: その古風は施設しない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その御調子者は対称積層でない; int6 & fact3 -> int7: 「その晴天時はアルカロージスだ」ということは成り立つ; fact2 -> int8: もしもその晴天時がＢＣＧなら融資する; fact10 -> int9: もし仮にその晴天時が来辛いとすればそれは融資する; int8 & int9 & fact13 -> int10: 「その晴天時は融資する」ということは成り立つ; int7 & int10 -> hypothesis;
「その晴天時はアルカロージスであるしそれは融資する」ということは成り立たない
fact16 -> int11: 仮にその晴天時は対称積層でないならば「それはアルカロージスであるし融資する」ということは成り立たない; fact15 -> int12: もしもその晴天時が施設するとすると嫌味ったらしい;
$facts$ = fact1: もしその御調子者は嫌味ったらしいならば「その雅彦達は割譲しないかもしくは嫌味ったらしくないかもしくはどちらもである」ということは間違いである fact2: なにがしかの物はＢＣＧであるとすれば融資する fact3: 仮にその御調子者が対称積層でないならばその晴天時はアルカロージスだ fact4: その古風は施設する fact5: このエイプリルフールは施設する fact6: もしその晴天時がＢＣＧでないとしたら施設するかあるいは割譲するかまたは両方ともである fact7: もしもその御調子者が鳴子だとすると嫌味ったらしい fact8: 仮にその御調子者が対称積層だとすれば鳴子である fact9: 何かは対称積層でないとすると「それはアルカロージスであるしかつ融資する」ということは成り立たない fact10: 「来辛い物は融資する」ということは成り立つ fact11: もしなにがしかの物が施設するとすればそれは嫌味ったらしい fact12: もしも「「その雅彦達は割譲しないかあるいは嫌味ったらしくない」ということは成り立つ」ということは偽ならその古風は施設しない fact13: その晴天時はＢＣＧであるかまたは来辛いかもしくは両方ともである ; $hypothesis$ = その晴天時はアルカロージスであるし融資する ; $proof$ = 
void -> assump1: 以下のように仮定する。その御調子者は対称積層である; fact8 & assump1 -> int1: その御調子者は鳴子である; int1 & fact7 -> int2: 「その御調子者は嫌味ったらしい」ということは確かである; int2 & fact1 -> int3: 「その雅彦達は割譲するということはないか嫌味ったらしくないかまたは両方である」ということは成り立たない; int3 & fact12 -> int4: その古風は施設しない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その御調子者は対称積層でない; int6 & fact3 -> int7: 「その晴天時はアルカロージスだ」ということは成り立つ; fact2 -> int8: もしもその晴天時がＢＣＧなら融資する; fact10 -> int9: もし仮にその晴天時が来辛いとすればそれは融資する; int8 & int9 & fact13 -> int10: 「その晴天時は融資する」ということは成り立つ; int7 & int10 -> hypothesis; __PROVED__
事実1: もしその御調子者は嫌味ったらしいならば「その雅彦達は割譲しないかもしくは嫌味ったらしくないかもしくはどちらもである」ということは間違いである
事実2: なにがしかの物はＢＣＧであるとすれば融資する
事実3: 仮にその御調子者が対称積層でないならばその晴天時はアルカロージスだ
事実4: その古風は施設する
事実5: このエイプリルフールは施設する
事実6: もしその晴天時がＢＣＧでないとしたら施設するかあるいは割譲するかまたは両方ともである
事実7: もしもその御調子者が鳴子だとすると嫌味ったらしい
事実8: 仮にその御調子者が対称積層だとすれば鳴子である
事実9: 何かは対称積層でないとすると「それはアルカロージスであるしかつ融資する」ということは成り立たない
事実10: 「来辛い物は融資する」ということは成り立つ
事実11: もしなにがしかの物が施設するとすればそれは嫌味ったらしい
事実12: もしも「「その雅彦達は割譲しないかあるいは嫌味ったらしくない」ということは成り立つ」ということは偽ならその古風は施設しない
事実13: その晴天時はＢＣＧであるかまたは来辛いかもしくは両方ともである

仮説: その晴天時はアルカロージスであるし融資する
1. 仮定1: 以下のように仮定する。その御調子者は対称積層である
2. 事実8と仮定1から、推論1: "その御調子者は鳴子である"が導かれる
3. 推論1と事実7から、推論2: "「その御調子者は嫌味ったらしい」ということは確かである"が導かれる
4. 推論2と事実1から、推論3: "「その雅彦達は割譲するということはないか嫌味ったらしくないかまたは両方である」ということは成り立たない"が導かれる
5. 推論3と事実12から、推論4: "その古風は施設しない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その御調子者は対称積層でない"が導かれる
8. 推論6と事実3から、推論7: "「その晴天時はアルカロージスだ」ということは成り立つ"が導かれる
9. 事実2から、推論8: "もしもその晴天時がＢＣＧなら融資する"が導かれる
10. 事実10から、推論9: "もし仮にその晴天時が来辛いとすればそれは融資する"が導かれる
11. 推論8と推論9と事実13から、推論10: "「その晴天時は融資する」ということは成り立つ"が導かれる
12. 推論7と推論10から、仮説が導かれる

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