あのマヤ人は舞台監督でない
fact1: もしもその一成分が艶めかしいならばあの地下歌劇場はぶっとくなくてしかも淵源しない fact2: もし仮にあの地下歌劇場が上塗り塗料でないかそれが古めかしくないかもしくは両方であるとすればその一成分はぶっとくない fact3: 仮に「「上塗り塗料でないかもしくは古めかしいかもしくは両方ともだ」ということは本当でない」物があるならあのマヤ人は舞台監督だ fact4: 「「形成しないか代配でない」ということは誤っている」物はある fact5: もし仮にこのトゥルッリが領得するとしたらあのマヤ人は沈み込む fact6: もし「「艶めかしい一方で淵源しない」ということは偽である」ものがあればこのワラントは舞台監督でない fact7: このトゥルッリは領得するしミニマドレーヌだ fact8: もしも「このワラントは伸べなくて淵源するということはない」ということは成り立つということはないとすると「それは伸べる」ということは成り立つ fact9: 「ぶっとい」物はある fact10: なんらかのものが舞台監督でないとしたらその一成分はぶっとかないかそれは伸べるということはないかあるいは両方ともである fact11: もしもその一成分が領得しないならばそれは艶めかしいしさらに沈み込む fact12: 「開陳しないかあるいは予見し得ないかどちらもな」物はある fact13: もし仮にその一成分がデザイン設計するとすれば領得するということはなくてまたそれはミニマドレーヌでない fact14: その一成分はデザイン設計する fact15: 仮にその一成分がぶっとくないならこのワラントは伸べない fact16: 仮にとあるものは伸べないとすれば「一極集中しないかあるいは古めかしくないかまたはどちらもである」ということは成り立たない fact17: 仮に「「上塗り塗料でないかもしくは淵源しないかもしくはどちらもだ」ということは誤りである」物があればあの地下歌劇場は伸べる fact18: 伸べないしおまけにそれは淵源しないという物はない fact19: 「「太り出しないかあるいは流れ易いか両方だ」ということは間違っている」物はある fact20: あの地下歌劇場が古めかしくないとしたらその一成分はぶっといということはない fact21: もし仮に「あの特定旅客施設は古めかしくないしその上収穫するということはない」ということは誤りであるとしたらそれは古めかしい fact22: もし「ある物は伸べるということはないがしかしそれはぶっとい」ということは成り立たないとしたら舞台監督でない fact23: もし仮に何らかのものは沈み込めば「それは艶めかしいし更にそれは淵源しない」ということは間違っている fact24: もし「「上塗り塗料でないかまたは古めかしくない」ということは真実でない」ものがあるとするとあのマヤ人は舞台監督だ
void -> assump1: 以下のように仮定する。あの地下歌劇場は上塗り塗料でないかまたは古めかしくないかもしくは両方である; fact2 & assump1 -> int1: その一成分はぶっとくない; int1 & fact15 -> int2: このワラントは伸べない; fact18 -> int3: 「このワラントは伸べなくてその上それは淵源しない」ということは偽である; fact8 & int3 -> int4: このワラントは伸べる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの地下歌劇場は上塗り塗料でないか古めかしいということはない」ということは偽だ; int6 -> int7: 「「上塗り塗料でないかもしくは古めかしくないかもしくは両方ともである」ということは成り立つということはない」物はある; int7 & fact24 -> hypothesis;
「あの地下歌劇場は一極集中しないか古めかしくないかあるいは両方である」ということは成り立たない
fact28 -> int8: もしあの地下歌劇場は伸べないなら「それは一極集中しないかあるいは古めかしくないかあるいは両方ともだ」ということは正しくない; fact27 -> int9: 仮に「あのマヤ人は沈み込む」ということは正しいなら「それは艶めかしい一方で淵源しない」ということは本当でない; fact26 -> int10: このトゥルッリは領得する; fact29 & int10 -> int11: あのマヤ人は沈み込む; int9 & int11 -> int12: 「あのマヤ人は艶めかしいけれど淵源しない」ということは嘘だ; int12 -> int13: 「「艶めかしいけど淵源するということはない」ということは誤りである」物はある; int13 & fact30 -> int14: このワラントは舞台監督でない; int14 -> int15: 何らかの物は舞台監督でない; int15 & fact25 -> int16: その一成分はぶっとかないか伸べないかまたは両方である;
$facts$ = fact1: もしもその一成分が艶めかしいならばあの地下歌劇場はぶっとくなくてしかも淵源しない fact2: もし仮にあの地下歌劇場が上塗り塗料でないかそれが古めかしくないかもしくは両方であるとすればその一成分はぶっとくない fact3: 仮に「「上塗り塗料でないかもしくは古めかしいかもしくは両方ともだ」ということは本当でない」物があるならあのマヤ人は舞台監督だ fact4: 「「形成しないか代配でない」ということは誤っている」物はある fact5: もし仮にこのトゥルッリが領得するとしたらあのマヤ人は沈み込む fact6: もし「「艶めかしい一方で淵源しない」ということは偽である」ものがあればこのワラントは舞台監督でない fact7: このトゥルッリは領得するしミニマドレーヌだ fact8: もしも「このワラントは伸べなくて淵源するということはない」ということは成り立つということはないとすると「それは伸べる」ということは成り立つ fact9: 「ぶっとい」物はある fact10: なんらかのものが舞台監督でないとしたらその一成分はぶっとかないかそれは伸べるということはないかあるいは両方ともである fact11: もしもその一成分が領得しないならばそれは艶めかしいしさらに沈み込む fact12: 「開陳しないかあるいは予見し得ないかどちらもな」物はある fact13: もし仮にその一成分がデザイン設計するとすれば領得するということはなくてまたそれはミニマドレーヌでない fact14: その一成分はデザイン設計する fact15: 仮にその一成分がぶっとくないならこのワラントは伸べない fact16: 仮にとあるものは伸べないとすれば「一極集中しないかあるいは古めかしくないかまたはどちらもである」ということは成り立たない fact17: 仮に「「上塗り塗料でないかもしくは淵源しないかもしくはどちらもだ」ということは誤りである」物があればあの地下歌劇場は伸べる fact18: 伸べないしおまけにそれは淵源しないという物はない fact19: 「「太り出しないかあるいは流れ易いか両方だ」ということは間違っている」物はある fact20: あの地下歌劇場が古めかしくないとしたらその一成分はぶっといということはない fact21: もし仮に「あの特定旅客施設は古めかしくないしその上収穫するということはない」ということは誤りであるとしたらそれは古めかしい fact22: もし「ある物は伸べるということはないがしかしそれはぶっとい」ということは成り立たないとしたら舞台監督でない fact23: もし仮に何らかのものは沈み込めば「それは艶めかしいし更にそれは淵源しない」ということは間違っている fact24: もし「「上塗り塗料でないかまたは古めかしくない」ということは真実でない」ものがあるとするとあのマヤ人は舞台監督だ ; $hypothesis$ = あのマヤ人は舞台監督でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの地下歌劇場は上塗り塗料でないかまたは古めかしくないかもしくは両方である; fact2 & assump1 -> int1: その一成分はぶっとくない; int1 & fact15 -> int2: このワラントは伸べない; fact18 -> int3: 「このワラントは伸べなくてその上それは淵源しない」ということは偽である; fact8 & int3 -> int4: このワラントは伸べる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの地下歌劇場は上塗り塗料でないか古めかしいということはない」ということは偽だ; int6 -> int7: 「「上塗り塗料でないかもしくは古めかしくないかもしくは両方ともである」ということは成り立つということはない」物はある; int7 & fact24 -> hypothesis; __DISPROVED__
事実1: もしもその一成分が艶めかしいならばあの地下歌劇場はぶっとくなくてしかも淵源しない
事実2: もし仮にあの地下歌劇場が上塗り塗料でないかそれが古めかしくないかもしくは両方であるとすればその一成分はぶっとくない
事実3: 仮に「「上塗り塗料でないかもしくは古めかしいかもしくは両方ともだ」ということは本当でない」物があるならあのマヤ人は舞台監督だ
事実4: 「「形成しないか代配でない」ということは誤っている」物はある
事実5: もし仮にこのトゥルッリが領得するとしたらあのマヤ人は沈み込む
事実6: もし「「艶めかしい一方で淵源しない」ということは偽である」ものがあればこのワラントは舞台監督でない
事実7: このトゥルッリは領得するしミニマドレーヌだ
事実8: もしも「このワラントは伸べなくて淵源するということはない」ということは成り立つということはないとすると「それは伸べる」ということは成り立つ
事実9: 「ぶっとい」物はある
事実10: なんらかのものが舞台監督でないとしたらその一成分はぶっとかないかそれは伸べるということはないかあるいは両方ともである
事実11: もしもその一成分が領得しないならばそれは艶めかしいしさらに沈み込む
事実12: 「開陳しないかあるいは予見し得ないかどちらもな」物はある
事実13: もし仮にその一成分がデザイン設計するとすれば領得するということはなくてまたそれはミニマドレーヌでない
事実14: その一成分はデザイン設計する
事実15: 仮にその一成分がぶっとくないならこのワラントは伸べない
事実16: 仮にとあるものは伸べないとすれば「一極集中しないかあるいは古めかしくないかまたはどちらもである」ということは成り立たない
事実17: 仮に「「上塗り塗料でないかもしくは淵源しないかもしくはどちらもだ」ということは誤りである」物があればあの地下歌劇場は伸べる
事実18: 伸べないしおまけにそれは淵源しないという物はない
事実19: 「「太り出しないかあるいは流れ易いか両方だ」ということは間違っている」物はある
事実20: あの地下歌劇場が古めかしくないとしたらその一成分はぶっといということはない
事実21: もし仮に「あの特定旅客施設は古めかしくないしその上収穫するということはない」ということは誤りであるとしたらそれは古めかしい
事実22: もし「ある物は伸べるということはないがしかしそれはぶっとい」ということは成り立たないとしたら舞台監督でない
事実23: もし仮に何らかのものは沈み込めば「それは艶めかしいし更にそれは淵源しない」ということは間違っている
事実24: もし「「上塗り塗料でないかまたは古めかしくない」ということは真実でない」ものがあるとするとあのマヤ人は舞台監督だ

仮説: あのマヤ人は舞台監督でない
1. 仮定1: 以下のように仮定する。あの地下歌劇場は上塗り塗料でないかまたは古めかしくないかもしくは両方である
2. 事実2と仮定1から、推論1: "その一成分はぶっとくない"が導かれる
3. 推論1と事実15から、推論2: "このワラントは伸べない"が導かれる
4. 事実18から、推論3: "「このワラントは伸べなくてその上それは淵源しない」ということは偽である"が導かれる
5. 事実8と推論3から、推論4: "このワラントは伸べる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの地下歌劇場は上塗り塗料でないか古めかしいということはない」ということは偽だ"が導かれる
8. 推論6から、推論7: "「「上塗り塗料でないかもしくは古めかしくないかもしくは両方ともである」ということは成り立つということはない」物はある"が導かれる
9. 推論7と事実24から、仮説が否定される

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