あの結合蛋白質は禁煙出来るがしかし五十号窯型式段階でない
fact1: もしもこの葬儀は五十号窯型式段階であるとすれば「あの結合蛋白質は禁煙出来る一方で五十号窯型式段階でない」ということは嘘だ fact2: 仮に「重苦しくない」ものはあるとすれば「その翁さびは遺存するししかもそれは製造性である」ということは偽だ fact3: 「重苦しいということはない」ものはある fact4: もしも「「遺存するしおまけに製造性である」ということは偽である」物があるならばあの葬儀は五十号窯型式段階である fact5: 「あのオーストリア軍は最終期限だが禁煙出来ない」ということは真実だということはない fact6: 仮になにかは禁煙出来ないとすればそれは遺存するしかつ五十号窯型式段階だ
fact3 & fact2 -> int1: 「その翁さびは遺存するし製造性である」ということは誤っている; int1 -> int2: 「「遺存するしそれに製造性である」ということは正しくない」ものはある; int2 & fact4 -> int3: この葬儀は五十号窯型式段階だ; int3 & fact1 -> hypothesis;
この葬儀は重苦しい
fact7 -> int4: もしもその検索は禁煙出来ないとしたら「それは遺存するし五十号窯型式段階だ」ということは真実である;
$facts$ = fact1: もしもこの葬儀は五十号窯型式段階であるとすれば「あの結合蛋白質は禁煙出来る一方で五十号窯型式段階でない」ということは嘘だ fact2: 仮に「重苦しくない」ものはあるとすれば「その翁さびは遺存するししかもそれは製造性である」ということは偽だ fact3: 「重苦しいということはない」ものはある fact4: もしも「「遺存するしおまけに製造性である」ということは偽である」物があるならばあの葬儀は五十号窯型式段階である fact5: 「あのオーストリア軍は最終期限だが禁煙出来ない」ということは真実だということはない fact6: 仮になにかは禁煙出来ないとすればそれは遺存するしかつ五十号窯型式段階だ ; $hypothesis$ = あの結合蛋白質は禁煙出来るがしかし五十号窯型式段階でない ; $proof$ = 
fact3 & fact2 -> int1: 「その翁さびは遺存するし製造性である」ということは誤っている; int1 -> int2: 「「遺存するしそれに製造性である」ということは正しくない」ものはある; int2 & fact4 -> int3: この葬儀は五十号窯型式段階だ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの葬儀は五十号窯型式段階であるとすれば「あの結合蛋白質は禁煙出来る一方で五十号窯型式段階でない」ということは嘘だ
事実2: 仮に「重苦しくない」ものはあるとすれば「その翁さびは遺存するししかもそれは製造性である」ということは偽だ
事実3: 「重苦しいということはない」ものはある
事実4: もしも「「遺存するしおまけに製造性である」ということは偽である」物があるならばあの葬儀は五十号窯型式段階である
事実5: 「あのオーストリア軍は最終期限だが禁煙出来ない」ということは真実だということはない
事実6: 仮になにかは禁煙出来ないとすればそれは遺存するしかつ五十号窯型式段階だ

仮説: あの結合蛋白質は禁煙出来るがしかし五十号窯型式段階でない
1. 事実3と事実2から、推論1: "「その翁さびは遺存するし製造性である」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「遺存するしそれに製造性である」ということは正しくない」ものはある"が導かれる
3. 推論2と事実4から、推論3: "この葬儀は五十号窯型式段階だ"が導かれる
4. 推論3と事実1から、仮説が否定される

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