「あの官権力は怪しい」ということは本当だ
fact1: 「あの官権力は少なくない一方で一枚張りだ」ということは確かであるということはない fact2: 「あの官権力は日本製であるし御訪ねする」ということは成り立たない fact3: もしこの三十以上は専福寺であるならそれは契る fact4: 仮になにがしかの物は少ないとしたら「それは怪しい」ということは本当である fact5: あの官権力が一枚張りでなくて由香利達でないならばあの身支度は一枚張りだ fact6: 「その身支度は業態であるし加えてそれは比較し難い」ということは誤りだ fact7: もしも「その身支度は業態だしかつ比較し難い」ということは誤りであるならそれはうざくない fact8: 「あの官権力は怪しくてそれは業態である」ということは成り立たない fact9: もしもその身支度はうざいということはないなら「あの官権力は由香利達だけどそれはうざくない」ということは嘘だ fact10: もし仮に「あるものは怪しい一方でそれは由香利達だということはない」ということは誤っていれば怪しくない fact11: もしも「あの官権力が由香利達だけどうざいということはない」ということは事実と異なるならそれは一枚張りだ
fact7 & fact6 -> int1: その身支度はうざいということはない; int1 & fact9 -> int2: 「あの官権力は由香利達だがうざくない」ということは事実でない; int2 & fact11 -> int3: 「あの官権力は一枚張りだ」ということは正しい; void -> assump1: 以下のように仮定する。あの官権力は少なくない; int3 & assump1 -> int4: あの官権力は少なくないがしかし一枚張りである; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの官権力は少ない; fact4 -> int7: もしもあの官権力が少ないならばそれは怪しい; int6 & int7 -> hypothesis;
その身支度は一枚張りである
$facts$ = fact1: 「あの官権力は少なくない一方で一枚張りだ」ということは確かであるということはない fact2: 「あの官権力は日本製であるし御訪ねする」ということは成り立たない fact3: もしこの三十以上は専福寺であるならそれは契る fact4: 仮になにがしかの物は少ないとしたら「それは怪しい」ということは本当である fact5: あの官権力が一枚張りでなくて由香利達でないならばあの身支度は一枚張りだ fact6: 「その身支度は業態であるし加えてそれは比較し難い」ということは誤りだ fact7: もしも「その身支度は業態だしかつ比較し難い」ということは誤りであるならそれはうざくない fact8: 「あの官権力は怪しくてそれは業態である」ということは成り立たない fact9: もしもその身支度はうざいということはないなら「あの官権力は由香利達だけどそれはうざくない」ということは嘘だ fact10: もし仮に「あるものは怪しい一方でそれは由香利達だということはない」ということは誤っていれば怪しくない fact11: もしも「あの官権力が由香利達だけどうざいということはない」ということは事実と異なるならそれは一枚張りだ ; $hypothesis$ = 「あの官権力は怪しい」ということは本当だ ; $proof$ = 
fact7 & fact6 -> int1: その身支度はうざいということはない; int1 & fact9 -> int2: 「あの官権力は由香利達だがうざくない」ということは事実でない; int2 & fact11 -> int3: 「あの官権力は一枚張りだ」ということは正しい; void -> assump1: 以下のように仮定する。あの官権力は少なくない; int3 & assump1 -> int4: あの官権力は少なくないがしかし一枚張りである; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの官権力は少ない; fact4 -> int7: もしもあの官権力が少ないならばそれは怪しい; int6 & int7 -> hypothesis; __PROVED__
事実1: 「あの官権力は少なくない一方で一枚張りだ」ということは確かであるということはない
事実2: 「あの官権力は日本製であるし御訪ねする」ということは成り立たない
事実3: もしこの三十以上は専福寺であるならそれは契る
事実4: 仮になにがしかの物は少ないとしたら「それは怪しい」ということは本当である
事実5: あの官権力が一枚張りでなくて由香利達でないならばあの身支度は一枚張りだ
事実6: 「その身支度は業態であるし加えてそれは比較し難い」ということは誤りだ
事実7: もしも「その身支度は業態だしかつ比較し難い」ということは誤りであるならそれはうざくない
事実8: 「あの官権力は怪しくてそれは業態である」ということは成り立たない
事実9: もしもその身支度はうざいということはないなら「あの官権力は由香利達だけどそれはうざくない」ということは嘘だ
事実10: もし仮に「あるものは怪しい一方でそれは由香利達だということはない」ということは誤っていれば怪しくない
事実11: もしも「あの官権力が由香利達だけどうざいということはない」ということは事実と異なるならそれは一枚張りだ

仮説: 「あの官権力は怪しい」ということは本当だ
1. 事実7と事実6から、推論1: "その身支度はうざいということはない"が導かれる
2. 推論1と事実9から、推論2: "「あの官権力は由香利達だがうざくない」ということは事実でない"が導かれる
3. 推論2と事実11から、推論3: "「あの官権力は一枚張りだ」ということは正しい"が導かれる
4. 仮定1: 以下のように仮定する。あの官権力は少なくない
5. 推論3と仮定1から、推論4: "あの官権力は少なくないがしかし一枚張りである"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの官権力は少ない"が導かれる
8. 事実4から、推論7: "もしもあの官権力が少ないならばそれは怪しい"が導かれる
9. 推論6と推論7から、仮説が導かれる

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