この日祝は飲み難い
fact1: もしもとあるものが芸術劇場だとすると大后でない fact2: 「この日祝は内臓感覚である」ということは成り立つ fact3: もしもなにかは復古王政であるとしたら「明け暮れるしおまけに立体性でない」ということは本当でない fact4: 広ーい物は青臭い fact5: 「この豆電球は広ーくないしおまけに繁栄し続けない」ということは成り立たない fact6: この職業人は素早いということはない fact7: 仮になんらかの物は青臭いならば「素早くないしかつ手荒くない」ということは成り立たない fact8: もし「何らかの物は明け暮れるけれど立体性だということはない」ということは成り立たないならば芸術劇場だ fact9: もしもとある物が大后でないならそれは広ーいかあるいは繁栄し続けるか両方ともである fact10: もし「「なんらかの物は素早いということはないし手荒いということはない」ということは成り立つ」ということは偽であるならばそれは飲み難い fact11: 「素早い」物があるとするとこの職業人は青臭い fact12: 「飲み難いということはないし加えて繁栄し続けるということはない」ものはある fact13: 全てのものは復古王政であるかもしくはトランスセクシュアルであるかあるいはどちらもである fact14: 仮にあの急崖が復古王政であるとするとこの日祝は復古王政である fact15: 「あの仙骨子宮靱帯は御連れ下さるかそれは孝行するということはないかもしくは両方である」ということは成り立たない fact16: もしなにがしかのものが素早いかまたは手荒いとすればこの職業人は青臭い fact17: その血漿交換は雨夜だ fact18: もしも「繁栄し続ける」ものがあるとするとこの職業人は青臭くない fact19: この日祝は浄水享受権である fact20: この職業人は込み入る fact21: あの急崖は動揺し易いかまたは学徒動員でないとするとそれは手荒い fact22: 仮に「「広ーくないしそれに繁栄し続けない」ということは成り立たない」物があるとすればあの職業人は青臭くない fact23: もし仮に「あの急崖は動揺し易いかあるいは学徒動員でない」ということは事実と異なるとするとこの日祝は飲み難くない
void -> assump1: 以下のように仮定する。あの急崖は動揺し易いかまたはそれは学徒動員でない; fact21 & assump1 -> int1: 「あの急崖は手荒い」ということは本当である; int1 -> int2: あの急崖は素早いかもしくはそれは手荒いかあるいは両方ともだ; int2 -> int3: 素早いか手荒いかあるいはどちらもであるものはある; int3 & fact16 -> int4: 「「この職業人は青臭いということはない」ということは誤りだ」ということは真実だ; fact5 -> int5: 「「広ーくないしおまけに繁栄し続けない」ということは本当でない」ものはある; fact22 & int5 -> int6: この職業人は青臭くない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの急崖は動揺し易いかそれは学徒動員でないかもしくはどちらもだ」ということは間違っている; int8 & fact23 -> hypothesis;
この日祝は飲み難い
fact25 -> int9: もしも「この日祝は素早くないし加えて手荒くない」ということは成り立たないとすればそれは飲み難い; fact24 -> int10: もし仮に「この日祝は青臭い」ということは確かだとしたら「素早くなくてしかも手荒くない」ということは偽だ; fact30 -> int11: もしこの日祝が大后でないとしたら広ーいかあるいは繁栄し続けるかまたは両方である; fact31 -> int12: もしもこの日祝は芸術劇場であるとすれば大后でない; fact27 -> int13: もし「この日祝は明け暮れるけどそれは立体性でない」ということは偽なら芸術劇場だ; fact29 -> int14: もし仮にこの日祝は復古王政であるなら「それは明け暮れるけど立体性でない」ということは事実と異なる; fact26 -> int15: あの急崖は復古王政であるかそれはトランスセクシュアルである; fact32 -> 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: もし仮に「あの急崖は動揺し易いかあるいは学徒動員でない」ということは事実と異なるとするとこの日祝は飲み難くない ; $hypothesis$ = この日祝は飲み難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの急崖は動揺し易いかまたはそれは学徒動員でない; fact21 & assump1 -> int1: 「あの急崖は手荒い」ということは本当である; int1 -> int2: あの急崖は素早いかもしくはそれは手荒いかあるいは両方ともだ; int2 -> int3: 素早いか手荒いかあるいはどちらもであるものはある; int3 & fact16 -> int4: 「「この職業人は青臭いということはない」ということは誤りだ」ということは真実だ; fact5 -> int5: 「「広ーくないしおまけに繁栄し続けない」ということは本当でない」ものはある; fact22 & int5 -> int6: この職業人は青臭くない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「あの急崖は動揺し易いかそれは学徒動員でないかもしくはどちらもだ」ということは間違っている; int8 & fact23 -> 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: もし仮に「あの急崖は動揺し易いかあるいは学徒動員でない」ということは事実と異なるとするとこの日祝は飲み難くない

仮説: この日祝は飲み難い
1. 仮定1: 以下のように仮定する。あの急崖は動揺し易いかまたはそれは学徒動員でない
2. 事実21と仮定1から、推論1: "「あの急崖は手荒い」ということは本当である"が導かれる
3. 推論1から、推論2: "あの急崖は素早いかもしくはそれは手荒いかあるいは両方ともだ"が導かれる
4. 推論2から、推論3: "素早いか手荒いかあるいはどちらもであるものはある"が導かれる
5. 推論3と事実16から、推論4: "「「この職業人は青臭いということはない」ということは誤りだ」ということは真実だ"が導かれる
6. 事実5から、推論5: "「「広ーくないしおまけに繁栄し続けない」ということは本当でない」ものはある"が導かれる
7. 事実22と推論5から、推論6: "この職業人は青臭くない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「あの急崖は動揺し易いかそれは学徒動員でないかもしくはどちらもだ」ということは間違っている"が導かれる
10. 推論8と事実23から、仮説が否定される

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