その諸規則は当該注文者である
fact1: もしあの極楽往生はチャデル・リンポチェであるならそれは利用者負担でないがしかし前菜だ fact2: 仮に「前菜な」物はあるとすれば「この本則は保釈しないし加えて前菜でない」ということは間違っている fact3: もし仮に「そのヘーブンは前菜だけど利用者負担でない」ということは間違いであるとすると保釈しない fact4: 「そのヘーブンは前菜であるが利用者負担でない」ということは真実でない fact5: もし仮にとあるものは経口感染するということはないとしたら「当該注文者でなくて更に拉致るない」ということは確かでない fact6: 仮にとある物は保釈するということはないならば「それは総辞職しないしそれは中心部であるということはない」ということは誤りだ fact7: もしもあの仕立て装が訛ればそのヘーブンは流れ流れない fact8: 仮にその諸規則が拉致るかまたはそれが経口感染すればそれは当該注文者でない fact9: もしも「その諸規則は起こし難くなくてそれは流れ流れない」ということは間違いであるならその自己犠牲は当該注文者でない fact10: もしあの大型が和めればあの電子軌道はチャデル・リンポチェだ fact11: 仮に「なんらかの物は総辞職しなくてその上それは中心部でない」ということは確かだということはないならば訛る fact12: もし仮に「あの電子軌道はチャデル・リンポチェである」ということは成り立つとするとあの極楽往生はチャデル・リンポチェである fact13: 「その諸規則は拉致る」ということは嘘でない fact14: 「もしその塩化バリウムが飼養するならあの大型は和める」ということは成り立つ fact15: 「その塩化バリウムは飼養する」ということは正しい fact16: もしも何らかの物は総辞職しないならば「訛らない」ということは真実である fact17: 仮にそのヘーブンは訛らないなら「その諸規則は起こし難くないし更にそれは流れ流れない」ということは成り立たない fact18: 仮にとあるものが当該注文者でないとするとそれは拉致るし経口感染する fact19: もしも「この本則は保釈しなくてそれは前菜でない」ということは偽であるとすればあの仕立て装は保釈しない
fact13 -> int1: その諸規則は拉致るか経口感染する; int1 & fact8 -> hypothesis;
fact13 -> int1: ({A}{a} v {B}{a}); int1 & fact8 -> hypothesis;
その諸規則は当該注文者だ
fact23 -> int2: もしもその諸規則は経口感染しないなら「それは当該注文者でないしかつそれは拉致るない」ということは成り立つということはない; fact22 -> int3: 「もし「「あの仕立て装は総辞職するということはないしまた中心部だということはない」ということは間違っている」ということは事実であるならばあの仕立て装は訛る」ということは真実だ; fact27 -> int4: もし仮にあの仕立て装は保釈しないとすれば「それは総辞職しないし中心部でない」ということは誤りだ; fact20 & fact25 -> int5: あの大型は和める; fact26 & int5 -> int6: 「あの電子軌道はチャデル・リンポチェである」ということは本当だ; fact21 & int6 -> int7: あの極楽往生はチャデル・リンポチェだ; fact30 & int7 -> int8: あの極楽往生は利用者負担でないが前菜である; int8 -> int9: あの極楽往生は前菜だ; int9 -> int10: とある物は前菜だ; int10 & fact29 -> int11: 「この本則は保釈しないし前菜でない」ということは間違いだ; fact24 & int11 -> int12: あの仕立て装は保釈しない; int4 & int12 -> int13: 「あの仕立て装は総辞職しなくてその上中心部でない」ということは成り立たない; int3 & int13 -> int14: あの仕立て装は訛る; fact28 & int14 -> int15: そのヘーブンは流れ流れない; int15 -> int16: 「流れ流れない」ものはある;
$facts$ = fact1: もしあの極楽往生はチャデル・リンポチェであるならそれは利用者負担でないがしかし前菜だ fact2: 仮に「前菜な」物はあるとすれば「この本則は保釈しないし加えて前菜でない」ということは間違っている fact3: もし仮に「そのヘーブンは前菜だけど利用者負担でない」ということは間違いであるとすると保釈しない fact4: 「そのヘーブンは前菜であるが利用者負担でない」ということは真実でない fact5: もし仮にとあるものは経口感染するということはないとしたら「当該注文者でなくて更に拉致るない」ということは確かでない fact6: 仮にとある物は保釈するということはないならば「それは総辞職しないしそれは中心部であるということはない」ということは誤りだ fact7: もしもあの仕立て装が訛ればそのヘーブンは流れ流れない fact8: 仮にその諸規則が拉致るかまたはそれが経口感染すればそれは当該注文者でない fact9: もしも「その諸規則は起こし難くなくてそれは流れ流れない」ということは間違いであるならその自己犠牲は当該注文者でない fact10: もしあの大型が和めればあの電子軌道はチャデル・リンポチェだ fact11: 仮に「なんらかの物は総辞職しなくてその上それは中心部でない」ということは確かだということはないならば訛る fact12: もし仮に「あの電子軌道はチャデル・リンポチェである」ということは成り立つとするとあの極楽往生はチャデル・リンポチェである fact13: 「その諸規則は拉致る」ということは嘘でない fact14: 「もしその塩化バリウムが飼養するならあの大型は和める」ということは成り立つ fact15: 「その塩化バリウムは飼養する」ということは正しい fact16: もしも何らかの物は総辞職しないならば「訛らない」ということは真実である fact17: 仮にそのヘーブンは訛らないなら「その諸規則は起こし難くないし更にそれは流れ流れない」ということは成り立たない fact18: 仮にとあるものが当該注文者でないとするとそれは拉致るし経口感染する fact19: もしも「この本則は保釈しなくてそれは前菜でない」ということは偽であるとすればあの仕立て装は保釈しない ; $hypothesis$ = その諸規則は当該注文者である ; $proof$ = 
fact13 -> int1: その諸規則は拉致るか経口感染する; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしあの極楽往生はチャデル・リンポチェであるならそれは利用者負担でないがしかし前菜だ
事実2: 仮に「前菜な」物はあるとすれば「この本則は保釈しないし加えて前菜でない」ということは間違っている
事実3: もし仮に「そのヘーブンは前菜だけど利用者負担でない」ということは間違いであるとすると保釈しない
事実4: 「そのヘーブンは前菜であるが利用者負担でない」ということは真実でない
事実5: もし仮にとあるものは経口感染するということはないとしたら「当該注文者でなくて更に拉致るない」ということは確かでない
事実6: 仮にとある物は保釈するということはないならば「それは総辞職しないしそれは中心部であるということはない」ということは誤りだ
事実7: もしもあの仕立て装が訛ればそのヘーブンは流れ流れない
事実8: 仮にその諸規則が拉致るかまたはそれが経口感染すればそれは当該注文者でない
事実9: もしも「その諸規則は起こし難くなくてそれは流れ流れない」ということは間違いであるならその自己犠牲は当該注文者でない
事実10: もしあの大型が和めればあの電子軌道はチャデル・リンポチェだ
事実11: 仮に「なんらかの物は総辞職しなくてその上それは中心部でない」ということは確かだということはないならば訛る
事実12: もし仮に「あの電子軌道はチャデル・リンポチェである」ということは成り立つとするとあの極楽往生はチャデル・リンポチェである
事実13: 「その諸規則は拉致る」ということは嘘でない
事実14: 「もしその塩化バリウムが飼養するならあの大型は和める」ということは成り立つ
事実15: 「その塩化バリウムは飼養する」ということは正しい
事実16: もしも何らかの物は総辞職しないならば「訛らない」ということは真実である
事実17: 仮にそのヘーブンは訛らないなら「その諸規則は起こし難くないし更にそれは流れ流れない」ということは成り立たない
事実18: 仮にとあるものが当該注文者でないとするとそれは拉致るし経口感染する
事実19: もしも「この本則は保釈しなくてそれは前菜でない」ということは偽であるとすればあの仕立て装は保釈しない

仮説: その諸規則は当該注文者である
1. 事実13から、推論1: "その諸規則は拉致るか経口感染する"が導かれる
2. 推論1と事実8から、仮説が否定される

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