この四型は街らしい
fact1: もしそのよど号がやばいかもしくはそれが森林公園でないかまたは両方ならばあの演出意図はやばくない fact2: この処刑場が全学部であるが停戦しないとすればあの四型は街らしい fact3: もしも「「この処刑場は森林公園であるけれど全学部でない」ということは真実である」ということは誤りであるならそのよど号はやばい fact4: 「その演出意図は停戦しない」ということは成り立つ fact5: そのよど号はやばいかまたは森林公園でないか両方ともである fact6: 「「この処刑場は全学部であるけれど停戦しない」ということは正しい」ということは正しくないとしたらその演出意図はやばい fact7: 森林公園がやばくないならば街らしくない fact8: この処刑場が停戦するならばあの演出意図はやばい
void -> assump1: 以下のように仮定する。「この処刑場は全学部であるがそれは停戦しない」ということは成り立たない; fact6 & assump1 -> int1: その演出意図はやばい; fact1 & fact5 -> int2: その演出意図はやばいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この処刑場は全学部であるが停戦しない; int4 & fact2 -> hypothesis;
この四型は街らしくない
fact9 -> int5: この四型は森林公園であるけれどやばいないとしたら街らしくない;
$facts$ = fact1: もしそのよど号がやばいかもしくはそれが森林公園でないかまたは両方ならばあの演出意図はやばくない fact2: この処刑場が全学部であるが停戦しないとすればあの四型は街らしい fact3: もしも「「この処刑場は森林公園であるけれど全学部でない」ということは真実である」ということは誤りであるならそのよど号はやばい fact4: 「その演出意図は停戦しない」ということは成り立つ fact5: そのよど号はやばいかまたは森林公園でないか両方ともである fact6: 「「この処刑場は全学部であるけれど停戦しない」ということは正しい」ということは正しくないとしたらその演出意図はやばい fact7: 森林公園がやばくないならば街らしくない fact8: この処刑場が停戦するならばあの演出意図はやばい ; $hypothesis$ = この四型は街らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。「この処刑場は全学部であるがそれは停戦しない」ということは成り立たない; fact6 & assump1 -> int1: その演出意図はやばい; fact1 & fact5 -> int2: その演出意図はやばいということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この処刑場は全学部であるが停戦しない; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしそのよど号がやばいかもしくはそれが森林公園でないかまたは両方ならばあの演出意図はやばくない
事実2: この処刑場が全学部であるが停戦しないとすればあの四型は街らしい
事実3: もしも「「この処刑場は森林公園であるけれど全学部でない」ということは真実である」ということは誤りであるならそのよど号はやばい
事実4: 「その演出意図は停戦しない」ということは成り立つ
事実5: そのよど号はやばいかまたは森林公園でないか両方ともである
事実6: 「「この処刑場は全学部であるけれど停戦しない」ということは正しい」ということは正しくないとしたらその演出意図はやばい
事実7: 森林公園がやばくないならば街らしくない
事実8: この処刑場が停戦するならばあの演出意図はやばい

仮説: この四型は街らしい
1. 仮定1: 以下のように仮定する。「この処刑場は全学部であるがそれは停戦しない」ということは成り立たない
2. 事実6と仮定1から、推論1: "その演出意図はやばい"が導かれる
3. 事実1と事実5から、推論2: "その演出意図はやばいということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この処刑場は全学部であるが停戦しない"が導かれる
6. 推論4と事実2から、仮説が導かれる

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