「「このグラフィックデザイナーは生臭いかあるいは間違い易いかもしくはどちらもである」ということは成り立つということはない」ということは本当だ
fact1: もし仮にあの腰椎が勃起し切ればこのグラフィックデザイナーは生臭い fact2: このネガティブフィードバックは有るらしい fact3: 仮にこのネガティブフィードバックがローカルスタッフであるならあの腰椎は勃起し切る fact4: このＭＤＦ室等は生臭い fact5: このネガティブフィードバックが勃起し切るとしたらあの腰椎は有るらしい fact6: もしも何らかのものは有るらしくないとすれば「生臭いかあるいは間違い易いか両方だ」ということは成り立つということはない fact7: このネガティブフィードバックが有るらしいとしたらローカルスタッフである
fact7 & fact2 -> int1: このネガティブフィードバックはローカルスタッフである; int1 & fact3 -> int2: あの腰椎は勃起し切る; int2 & fact1 -> int3: このグラフィックデザイナーは生臭い; int3 -> hypothesis;
「このグラフィックデザイナーは生臭いかまたは間違い易い」ということは嘘である
fact8 -> int4: もしこのグラフィックデザイナーは有るらしくないなら「それは生臭いかもしくは間違い易いかまたは両方である」ということは事実でない;
$facts$ = fact1: もし仮にあの腰椎が勃起し切ればこのグラフィックデザイナーは生臭い fact2: このネガティブフィードバックは有るらしい fact3: 仮にこのネガティブフィードバックがローカルスタッフであるならあの腰椎は勃起し切る fact4: このＭＤＦ室等は生臭い fact5: このネガティブフィードバックが勃起し切るとしたらあの腰椎は有るらしい fact6: もしも何らかのものは有るらしくないとすれば「生臭いかあるいは間違い易いか両方だ」ということは成り立つということはない fact7: このネガティブフィードバックが有るらしいとしたらローカルスタッフである ; $hypothesis$ = 「「このグラフィックデザイナーは生臭いかあるいは間違い易いかもしくはどちらもである」ということは成り立つということはない」ということは本当だ ; $proof$ = 
fact7 & fact2 -> int1: このネガティブフィードバックはローカルスタッフである; int1 & fact3 -> int2: あの腰椎は勃起し切る; int2 & fact1 -> int3: このグラフィックデザイナーは生臭い; int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあの腰椎が勃起し切ればこのグラフィックデザイナーは生臭い
事実2: このネガティブフィードバックは有るらしい
事実3: 仮にこのネガティブフィードバックがローカルスタッフであるならあの腰椎は勃起し切る
事実4: このＭＤＦ室等は生臭い
事実5: このネガティブフィードバックが勃起し切るとしたらあの腰椎は有るらしい
事実6: もしも何らかのものは有るらしくないとすれば「生臭いかあるいは間違い易いか両方だ」ということは成り立つということはない
事実7: このネガティブフィードバックが有るらしいとしたらローカルスタッフである

仮説: 「「このグラフィックデザイナーは生臭いかあるいは間違い易いかもしくはどちらもである」ということは成り立つということはない」ということは本当だ
1. 事実7と事実2から、推論1: "このネガティブフィードバックはローカルスタッフである"が導かれる
2. 推論1と事実3から、推論2: "あの腰椎は勃起し切る"が導かれる
3. 推論2と事実1から、推論3: "このグラフィックデザイナーは生臭い"が導かれる
4. 推論3から、仮説が否定される

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