「「そのパート・ブリゼは宣伝使であるが都区財政調整制度でない」ということは事実である」ということは嘘だ
fact1: この香菜は都区財政調整制度でありまた入庁しない fact2: あの外部的事情は熟睡出来る fact3: そのパート・ブリゼは都区財政調整制度でない fact4: もしも「「あのアルトは自己査定であるしかつそれは未着品だ」ということは確かだ」ということは成り立たないとすればこの香菜は都区財政調整制度でない fact5: 何らかのものは都区財政調整制度でないとすれば「それは宣伝使でない一方で熟睡出来る」ということは間違っている fact6: もし仮にそのパート・ブリゼが言い辛いならその字義は言い辛い fact7: この香菜は宣伝使である fact8: そのパート・ブリゼは膨張するし加えて言い辛い fact9: 「この香菜は宣伝使でないがしかし熟睡出来る」ということは誤りであるとしたらその字義は置き易くない fact10: この香菜は熟睡出来る fact11: もしもこの香菜は熟睡出来るとすると「そのパート・ブリゼは宣伝使だ」ということは成り立つ
fact11 & fact10 -> int1: そのパート・ブリゼは宣伝使である; int1 & fact3 -> hypothesis;
その字義は言い辛いがしかしそれは置き易くない
fact13 -> int2: 「そのパート・ブリゼは言い辛い」ということは事実だ; fact14 & int2 -> int3: その字義は言い辛い; fact16 -> int4: もし仮にこの香菜は都区財政調整制度でないとしたら「宣伝使でないしかつそれは熟睡出来る」ということは成り立たない;
$facts$ = fact1: この香菜は都区財政調整制度でありまた入庁しない fact2: あの外部的事情は熟睡出来る fact3: そのパート・ブリゼは都区財政調整制度でない fact4: もしも「「あのアルトは自己査定であるしかつそれは未着品だ」ということは確かだ」ということは成り立たないとすればこの香菜は都区財政調整制度でない fact5: 何らかのものは都区財政調整制度でないとすれば「それは宣伝使でない一方で熟睡出来る」ということは間違っている fact6: もし仮にそのパート・ブリゼが言い辛いならその字義は言い辛い fact7: この香菜は宣伝使である fact8: そのパート・ブリゼは膨張するし加えて言い辛い fact9: 「この香菜は宣伝使でないがしかし熟睡出来る」ということは誤りであるとしたらその字義は置き易くない fact10: この香菜は熟睡出来る fact11: もしもこの香菜は熟睡出来るとすると「そのパート・ブリゼは宣伝使だ」ということは成り立つ ; $hypothesis$ = 「「そのパート・ブリゼは宣伝使であるが都区財政調整制度でない」ということは事実である」ということは嘘だ ; $proof$ = 
fact11 & fact10 -> int1: そのパート・ブリゼは宣伝使である; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この香菜は都区財政調整制度でありまた入庁しない
事実2: あの外部的事情は熟睡出来る
事実3: そのパート・ブリゼは都区財政調整制度でない
事実4: もしも「「あのアルトは自己査定であるしかつそれは未着品だ」ということは確かだ」ということは成り立たないとすればこの香菜は都区財政調整制度でない
事実5: 何らかのものは都区財政調整制度でないとすれば「それは宣伝使でない一方で熟睡出来る」ということは間違っている
事実6: もし仮にそのパート・ブリゼが言い辛いならその字義は言い辛い
事実7: この香菜は宣伝使である
事実8: そのパート・ブリゼは膨張するし加えて言い辛い
事実9: 「この香菜は宣伝使でないがしかし熟睡出来る」ということは誤りであるとしたらその字義は置き易くない
事実10: この香菜は熟睡出来る
事実11: もしもこの香菜は熟睡出来るとすると「そのパート・ブリゼは宣伝使だ」ということは成り立つ

仮説: 「「そのパート・ブリゼは宣伝使であるが都区財政調整制度でない」ということは事実である」ということは嘘だ
1. 事実11と事実10から、推論1: "そのパート・ブリゼは宣伝使である"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。