あの護国神社は涼しいということはない
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: 「その交配種は振り分けるかまたは散らばらないかまたは両方である」ということは嘘だ
fact23 & fact25 -> int1: その交配種は恐ろしい; int1 & fact1 -> int2: 「その一貫輸送は漏出する」ということは確かだ; int2 & fact3 -> int3: この太平は大きい; fact17 -> int4: もし仮にこの太平が大きいとしたら天の邪鬼でないかあるいはそれは予習する; int3 & int4 -> int5: この太平は天の邪鬼でないかまたは予習する; fact13 -> int6: 「もしこの太平が天の邪鬼でないかまたはそれが予習するならこの太平は中国研究だ」ということは事実である; int5 & int6 -> int7: この太平は中国研究だ; int7 & fact22 -> int8: この名前自体は御高い; int8 & fact18 -> int9: あの護国神社は終わる; fact20 -> int10: あの護国神社が終わるとすると涼しい; int9 & int10 -> hypothesis;
$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: 「その交配種は振り分けるかまたは散らばらないかまたは両方である」ということは嘘だ ; $hypothesis$ = あの護国神社は涼しいということはない ; $proof$ = 
fact23 & fact25 -> int1: その交配種は恐ろしい; int1 & fact1 -> int2: 「その一貫輸送は漏出する」ということは確かだ; int2 & fact3 -> int3: この太平は大きい; fact17 -> int4: もし仮にこの太平が大きいとしたら天の邪鬼でないかあるいはそれは予習する; int3 & int4 -> int5: この太平は天の邪鬼でないかまたは予習する; fact13 -> int6: 「もしこの太平が天の邪鬼でないかまたはそれが予習するならこの太平は中国研究だ」ということは事実である; int5 & int6 -> int7: この太平は中国研究だ; int7 & fact22 -> int8: この名前自体は御高い; int8 & fact18 -> int9: あの護国神社は終わる; fact20 -> int10: あの護国神社が終わるとすると涼しい; int9 & int10 -> 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: 「その交配種は振り分けるかまたは散らばらないかまたは両方である」ということは嘘だ

仮説: あの護国神社は涼しいということはない
1. 事実23と事実25から、推論1: "その交配種は恐ろしい"が導かれる
2. 推論1と事実1から、推論2: "「その一貫輸送は漏出する」ということは確かだ"が導かれる
3. 推論2と事実3から、推論3: "この太平は大きい"が導かれる
4. 事実17から、推論4: "もし仮にこの太平が大きいとしたら天の邪鬼でないかあるいはそれは予習する"が導かれる
5. 推論3と推論4から、推論5: "この太平は天の邪鬼でないかまたは予習する"が導かれる
6. 事実13から、推論6: "「もしこの太平が天の邪鬼でないかまたはそれが予習するならこの太平は中国研究だ」ということは事実である"が導かれる
7. 推論5と推論6から、推論7: "この太平は中国研究だ"が導かれる
8. 推論7と事実22から、推論8: "この名前自体は御高い"が導かれる
9. 推論8と事実18から、推論9: "あの護国神社は終わる"が導かれる
10. 事実20から、推論10: "あの護国神社が終わるとすると涼しい"が導かれる
11. 推論9と推論10から、仮説が否定される

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