そのフロンティアカーボンは聞き辛い
fact1: 「聞き辛い」物はある fact2: もし何かは乗ずるしまた聞き辛いならばあの自由論は心霊写真でない fact3: 「もし「なんらかの物は吹き付けないかもしくは御恥ずかしいか両方ともである」ということは成り立たないとすれば談笑する」ということは確かだ fact4: あの自由論は覗く fact5: もし「御恥ずかしい」物はあるとすると「その歌丸は吹き付けるしまたみっとも可愛い」ということは事実だということはない fact6: あの受忍義務は心霊写真であるしそれはイギリス連邦である fact7: 「その歌丸は聞き辛いし更にみっとも可愛い」ということは成り立たないならばあの受忍義務はみっとも可愛くない fact8: 「その歌丸は乗ずるけど覗かない」ということは間違いである fact9: なんらかのものは御恥ずかしい fact10: もし仮に「その歌丸は心霊写真であるかもしくはみっとも可愛くないかあるいは両方である」ということは成り立つということはないとしたらそのフロンティアカーボンはみっとも可愛くない fact11: 「「吹き付けるしまたみっとも可愛い」ということは間違いな」ものはある fact12: 「なにがしかのものは乗ずるけどそれは覗かない」ということは成り立たないならばそれは乗ぜない fact13: 「あの受忍義務は医者・患者関係だ」ということは成り立つ fact14: もしもなにかは御恥ずかしいとすると「その歌丸は吹き付けない一方でそれはみっとも可愛い」ということは誤りだ fact15: もし「吹き付ける」ものがあるならばあのフロンティアカーボンは乗ずる fact16: 仮にあの受忍義務は医者・患者関係であるとすると「羊達でない」ということは正しい fact17: もしなんらかの物が乗ぜないかそれは吹き付けないかあるいは両方ともであるならば吹き付けない fact18: 「医者・患者関係は酸っぱくないししかも羊達でない」ということは確かだ fact19: 医者・患者関係は羊達だということはない fact20: 何らかのものは吹き付けるということはない一方でみっとも可愛い fact21: みっとも可愛くない物は乗ぜないかもしくは吹き付けないか両方だ fact22: もし仮にあの受忍義務が酸っぱくないとするとあの自由論は覗くしまたそれは心霊写真である fact23: あの受忍義務は羊達でない fact24: もしもあの受忍義務が酸っぱくないならばあの自由論は覗く fact25: 「その歌丸は吹き付けるしそれはみっとも可愛い」ということは成り立たない fact26: 「乗ずる」物はある fact27: もし「「「吹き付けないしその上みっとも可愛い」ということは本当である」ということは間違っている」物があるとするとそのフロンティアカーボンは乗ずる
fact9 & fact14 -> int1: 「その歌丸は吹き付けないがしかしみっとも可愛い」ということは偽だ; int1 -> int2: 「「吹き付けないしおまけにみっとも可愛い」ということは間違いである」物はある; int2 & fact27 -> int3: そのフロンティアカーボンは乗ずる; void -> assump1: 以下のように仮定する。そのフロンティアカーボンは聞き辛い; int3 & assump1 -> int4: そのフロンティアカーボンは乗ずるし聞き辛い; int4 -> int5: 「「乗ずるし聞き辛い」ということは真実な」ものはある; int5 & fact2 -> int6: あの自由論は心霊写真でない; fact18 -> int7: もし仮に「あの受忍義務は医者・患者関係だ」ということは成り立てばそれは酸っぱいということはなくて羊達でない; int7 & fact13 -> int8: あの受忍義務は酸っぱくないしかつそれは羊達でない; int8 -> int9: あの受忍義務は酸っぱくない; fact22 & int9 -> int10: あの自由論は覗くし心霊写真である; int10 -> int11: あの自由論は心霊写真である; int6 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
そのフロンティアカーボンは聞き辛い
fact29 -> int13: そのフロンティアカーボンは乗ぜないかもしくは吹き付けないかまたは両方だとすると吹き付けない; fact28 -> int14: もしそのフロンティアカーボンがみっとも可愛くないとするとそれは乗ぜないかあるいは吹き付けないかあるいはどちらもだ;
$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: もしもあの受忍義務が酸っぱくないならばあの自由論は覗く fact25: 「その歌丸は吹き付けるしそれはみっとも可愛い」ということは成り立たない fact26: 「乗ずる」物はある fact27: もし「「「吹き付けないしその上みっとも可愛い」ということは本当である」ということは間違っている」物があるとするとそのフロンティアカーボンは乗ずる ; $hypothesis$ = そのフロンティアカーボンは聞き辛い ; $proof$ = 
fact9 & fact14 -> int1: 「その歌丸は吹き付けないがしかしみっとも可愛い」ということは偽だ; int1 -> int2: 「「吹き付けないしおまけにみっとも可愛い」ということは間違いである」物はある; int2 & fact27 -> int3: そのフロンティアカーボンは乗ずる; void -> assump1: 以下のように仮定する。そのフロンティアカーボンは聞き辛い; int3 & assump1 -> int4: そのフロンティアカーボンは乗ずるし聞き辛い; int4 -> int5: 「「乗ずるし聞き辛い」ということは真実な」ものはある; int5 & fact2 -> int6: あの自由論は心霊写真でない; fact18 -> int7: もし仮に「あの受忍義務は医者・患者関係だ」ということは成り立てばそれは酸っぱいということはなくて羊達でない; int7 & fact13 -> int8: あの受忍義務は酸っぱくないしかつそれは羊達でない; int8 -> int9: あの受忍義務は酸っぱくない; fact22 & int9 -> int10: あの自由論は覗くし心霊写真である; int10 -> int11: あの自由論は心霊写真である; int6 & int11 -> int12: これは矛盾である; [assump1] & int12 -> 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: もしもあの受忍義務が酸っぱくないならばあの自由論は覗く
事実25: 「その歌丸は吹き付けるしそれはみっとも可愛い」ということは成り立たない
事実26: 「乗ずる」物はある
事実27: もし「「「吹き付けないしその上みっとも可愛い」ということは本当である」ということは間違っている」物があるとするとそのフロンティアカーボンは乗ずる

仮説: そのフロンティアカーボンは聞き辛い
1. 事実9と事実14から、推論1: "「その歌丸は吹き付けないがしかしみっとも可愛い」ということは偽だ"が導かれる
2. 推論1から、推論2: "「「吹き付けないしおまけにみっとも可愛い」ということは間違いである」物はある"が導かれる
3. 推論2と事実27から、推論3: "そのフロンティアカーボンは乗ずる"が導かれる
4. 仮定1: 以下のように仮定する。そのフロンティアカーボンは聞き辛い
5. 推論3と仮定1から、推論4: "そのフロンティアカーボンは乗ずるし聞き辛い"が導かれる
6. 推論4から、推論5: "「「乗ずるし聞き辛い」ということは真実な」ものはある"が導かれる
7. 推論5と事実2から、推論6: "あの自由論は心霊写真でない"が導かれる
8. 事実18から、推論7: "もし仮に「あの受忍義務は医者・患者関係だ」ということは成り立てばそれは酸っぱいということはなくて羊達でない"が導かれる
9. 推論7と事実13から、推論8: "あの受忍義務は酸っぱくないしかつそれは羊達でない"が導かれる
10. 推論8から、推論9: "あの受忍義務は酸っぱくない"が導かれる
11. 事実22と推論9から、推論10: "あの自由論は覗くし心霊写真である"が導かれる
12. 推論10から、推論11: "あの自由論は心霊写真である"が導かれる
13. 推論6と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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