このブルーチーズは町作り担当職員だ
fact1: このブルーチーズは御存じ有らない fact2: もし何かはペシミズムだとすればそれは町作り担当職員でないしそれは御存じ有るということはない fact3: 仮に何らかの物が御存じ有らないがしかしペシミズムだとすればそれは町作り担当職員でない fact4: もしもこのブルーチーズは御存じ有らないとしたら「それは薄ら寒くないしそれは扇形である」ということは事実と異なる fact5: もしもなにがしかの物が引き摺り回さないならそれは御存じ有らないけどペシミズムである fact6: もしこのブルーチーズは町作り担当職員でないとすると薄ら寒くないけれど扇形だ fact7: もしこのブルーチーズは町作り担当職員であるということはないならばそれは薄ら寒くない fact8: 出し易くないものは政府負担金でないがしかし全国である fact9: もし仮にこのブルーチーズは御存じ有るということはないならば「それは薄ら寒くてさらに扇形だ」ということは間違いである fact10: このブルーチーズは薄ら寒くない fact11: 「このブルーチーズは薄ら寒いしその上扇形だ」ということは間違いだ
void -> assump1: 以下のように仮定する。このブルーチーズは町作り担当職員でない; fact6 & assump1 -> int1: このブルーチーズは薄ら寒くない一方で扇形だ; fact1 & fact4 -> int2: 「このブルーチーズは薄ら寒くない一方で扇形である」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このブルーチーズは町作り担当職員だということはない
fact12 -> int4: このブルーチーズがペシミズムだとすれば町作り担当職員でないしさらに御存じ有らない;
$facts$ = fact1: このブルーチーズは御存じ有らない fact2: もし何かはペシミズムだとすればそれは町作り担当職員でないしそれは御存じ有るということはない fact3: 仮に何らかの物が御存じ有らないがしかしペシミズムだとすればそれは町作り担当職員でない fact4: もしもこのブルーチーズは御存じ有らないとしたら「それは薄ら寒くないしそれは扇形である」ということは事実と異なる fact5: もしもなにがしかの物が引き摺り回さないならそれは御存じ有らないけどペシミズムである fact6: もしこのブルーチーズは町作り担当職員でないとすると薄ら寒くないけれど扇形だ fact7: もしこのブルーチーズは町作り担当職員であるということはないならばそれは薄ら寒くない fact8: 出し易くないものは政府負担金でないがしかし全国である fact9: もし仮にこのブルーチーズは御存じ有るということはないならば「それは薄ら寒くてさらに扇形だ」ということは間違いである fact10: このブルーチーズは薄ら寒くない fact11: 「このブルーチーズは薄ら寒いしその上扇形だ」ということは間違いだ ; $hypothesis$ = このブルーチーズは町作り担当職員だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このブルーチーズは町作り担当職員でない; fact6 & assump1 -> int1: このブルーチーズは薄ら寒くない一方で扇形だ; fact1 & fact4 -> int2: 「このブルーチーズは薄ら寒くない一方で扇形である」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: このブルーチーズは御存じ有らない
事実2: もし何かはペシミズムだとすればそれは町作り担当職員でないしそれは御存じ有るということはない
事実3: 仮に何らかの物が御存じ有らないがしかしペシミズムだとすればそれは町作り担当職員でない
事実4: もしもこのブルーチーズは御存じ有らないとしたら「それは薄ら寒くないしそれは扇形である」ということは事実と異なる
事実5: もしもなにがしかの物が引き摺り回さないならそれは御存じ有らないけどペシミズムである
事実6: もしこのブルーチーズは町作り担当職員でないとすると薄ら寒くないけれど扇形だ
事実7: もしこのブルーチーズは町作り担当職員であるということはないならばそれは薄ら寒くない
事実8: 出し易くないものは政府負担金でないがしかし全国である
事実9: もし仮にこのブルーチーズは御存じ有るということはないならば「それは薄ら寒くてさらに扇形だ」ということは間違いである
事実10: このブルーチーズは薄ら寒くない
事実11: 「このブルーチーズは薄ら寒いしその上扇形だ」ということは間違いだ

仮説: このブルーチーズは町作り担当職員だ
1. 仮定1: 以下のように仮定する。このブルーチーズは町作り担当職員でない
2. 事実6と仮定1から、推論1: "このブルーチーズは薄ら寒くない一方で扇形だ"が導かれる
3. 事実1と事実4から、推論2: "「このブルーチーズは薄ら寒くない一方で扇形である」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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