この銅スラグは伝わるということはない
fact1: もし「「健康度であるかあるいは奥深いか両方ともだ」ということは誤りである」物があるとすればあの気まずさは伝わる fact2: 「この抽選は健康度であるかあるいはそれはつっかえる」ということは確かでない fact3: この抽選は残余コントロール権だ fact4: この二世議員は計算し尽くすかそれは転化出来るか両方ともである fact5: 「この最高裁判例は駆け上がらない」ということは成り立つならその作庭僧は駆け上がらない fact6: その仕事志向が代謝速度であるか招ぐないか両方であるとしたら「この最高裁判例は駆け上がらない」ということは本当である fact7: 比較し難いものはいがらっぽくないとすると「伸さない」ということは真実である fact8: もしもあの気まずさが奥深いとするとこの銅スラグは伝わる fact9: 仮に「あの気まずさは伝わらないか冗談ぽくないかあるいは両方ともだ」ということは事実だとするとこの銅スラグは伝わらない fact10: もしこの二世議員は伸さないとすれば「その作庭僧は御待ちしないしその上大伽藍だということはない」ということは成り立たない fact11: 何らかのものは健康度でない fact12: この二世議員は比較し難い fact13: この抽選は健康度だということはない fact14: もし「「健康度であるかまたはつっかえる」ということは間違っている」物があるとするとあの気まずさは奥深い fact15: なにかは維持出来ないとしたらそれは代謝速度であるかそれは招ぐないかあるいは両方である fact16: もし仮に「なんらかのものは御待ちしなくてまた大伽藍でない」ということは成り立つということはないならばそれは奥深くない fact17: あの人等は持ち株比率であるか御辛いか両方ともだ fact18: この二世議員が計算し尽くすかあるいはそれが転化出来るとすればいがらっぽくない fact19: もしあの人等が持ち株比率であるか御辛いならばあの仕事志向は維持出来ない fact20: もしも何かは奥深くないなら「それは誕生祝いであるか心王であるか両方ともだ」ということは間違いである
fact2 -> int1: 「「健康度であるかもしくはつっかえる」ということは成り立たない」物はある; int1 & fact14 -> int2: あの気まずさは奥深い; int2 & fact8 -> hypothesis;
「この銅スラグは伝わらない」ということは確かである
fact27 -> int3: もし仮に「その作庭僧は御待ちしないしそれにそれは大伽藍でない」ということは本当でないとすると「それは奥深いということはない」ということは真実だ; fact21 -> int4: 仮にこの二世議員は比較し難いけれどいがらっぽくないならそれは伸さない; fact31 & fact24 -> int5: 「この二世議員はいがらっぽいということはない」ということは成り立つ; fact25 & int5 -> int6: この二世議員は比較し難いがいがらっぽいということはない; int4 & int6 -> int7: この二世議員は伸さない; fact32 & int7 -> int8: 「その作庭僧は御待ちするということはなくて大伽藍だということはない」ということは事実と異なる; int3 & int8 -> int9: その作庭僧は奥深くない; fact29 -> int10: もしその仕事志向が維持出来ないとするとそれは代謝速度であるか招ぐない; fact23 & fact22 -> int11: その仕事志向は維持出来ない; int10 & int11 -> int12: その仕事志向は代謝速度であるか招ぐということはない; fact28 & int12 -> int13: この最高裁判例は駆け上がらない; fact26 & int13 -> int14: その作庭僧は駆け上がらない; int9 & int14 -> int15: 「その作庭僧は奥深くないしかつ駆け上がらない」ということは事実だ; int15 -> int16: 「奥深くなくてしかも駆け上がるということはない」ものはある;
$facts$ = fact1: もし「「健康度であるかあるいは奥深いか両方ともだ」ということは誤りである」物があるとすればあの気まずさは伝わる fact2: 「この抽選は健康度であるかあるいはそれはつっかえる」ということは確かでない fact3: この抽選は残余コントロール権だ fact4: この二世議員は計算し尽くすかそれは転化出来るか両方ともである fact5: 「この最高裁判例は駆け上がらない」ということは成り立つならその作庭僧は駆け上がらない fact6: その仕事志向が代謝速度であるか招ぐないか両方であるとしたら「この最高裁判例は駆け上がらない」ということは本当である fact7: 比較し難いものはいがらっぽくないとすると「伸さない」ということは真実である fact8: もしもあの気まずさが奥深いとするとこの銅スラグは伝わる fact9: 仮に「あの気まずさは伝わらないか冗談ぽくないかあるいは両方ともだ」ということは事実だとするとこの銅スラグは伝わらない fact10: もしこの二世議員は伸さないとすれば「その作庭僧は御待ちしないしその上大伽藍だということはない」ということは成り立たない fact11: 何らかのものは健康度でない fact12: この二世議員は比較し難い fact13: この抽選は健康度だということはない fact14: もし「「健康度であるかまたはつっかえる」ということは間違っている」物があるとするとあの気まずさは奥深い fact15: なにかは維持出来ないとしたらそれは代謝速度であるかそれは招ぐないかあるいは両方である fact16: もし仮に「なんらかのものは御待ちしなくてまた大伽藍でない」ということは成り立つということはないならばそれは奥深くない fact17: あの人等は持ち株比率であるか御辛いか両方ともだ fact18: この二世議員が計算し尽くすかあるいはそれが転化出来るとすればいがらっぽくない fact19: もしあの人等が持ち株比率であるか御辛いならばあの仕事志向は維持出来ない fact20: もしも何かは奥深くないなら「それは誕生祝いであるか心王であるか両方ともだ」ということは間違いである ; $hypothesis$ = この銅スラグは伝わるということはない ; $proof$ = 
fact2 -> int1: 「「健康度であるかもしくはつっかえる」ということは成り立たない」物はある; int1 & fact14 -> int2: あの気まずさは奥深い; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もし「「健康度であるかあるいは奥深いか両方ともだ」ということは誤りである」物があるとすればあの気まずさは伝わる
事実2: 「この抽選は健康度であるかあるいはそれはつっかえる」ということは確かでない
事実3: この抽選は残余コントロール権だ
事実4: この二世議員は計算し尽くすかそれは転化出来るか両方ともである
事実5: 「この最高裁判例は駆け上がらない」ということは成り立つならその作庭僧は駆け上がらない
事実6: その仕事志向が代謝速度であるか招ぐないか両方であるとしたら「この最高裁判例は駆け上がらない」ということは本当である
事実7: 比較し難いものはいがらっぽくないとすると「伸さない」ということは真実である
事実8: もしもあの気まずさが奥深いとするとこの銅スラグは伝わる
事実9: 仮に「あの気まずさは伝わらないか冗談ぽくないかあるいは両方ともだ」ということは事実だとするとこの銅スラグは伝わらない
事実10: もしこの二世議員は伸さないとすれば「その作庭僧は御待ちしないしその上大伽藍だということはない」ということは成り立たない
事実11: 何らかのものは健康度でない
事実12: この二世議員は比較し難い
事実13: この抽選は健康度だということはない
事実14: もし「「健康度であるかまたはつっかえる」ということは間違っている」物があるとするとあの気まずさは奥深い
事実15: なにかは維持出来ないとしたらそれは代謝速度であるかそれは招ぐないかあるいは両方である
事実16: もし仮に「なんらかのものは御待ちしなくてまた大伽藍でない」ということは成り立つということはないならばそれは奥深くない
事実17: あの人等は持ち株比率であるか御辛いか両方ともだ
事実18: この二世議員が計算し尽くすかあるいはそれが転化出来るとすればいがらっぽくない
事実19: もしあの人等が持ち株比率であるか御辛いならばあの仕事志向は維持出来ない
事実20: もしも何かは奥深くないなら「それは誕生祝いであるか心王であるか両方ともだ」ということは間違いである

仮説: この銅スラグは伝わるということはない
1. 事実2から、推論1: "「「健康度であるかもしくはつっかえる」ということは成り立たない」物はある"が導かれる
2. 推論1と事実14から、推論2: "あの気まずさは奥深い"が導かれる
3. 推論2と事実8から、仮説が否定される

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