「「実装出来る」ものはある」ということは事実と異なる
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: この左脇腹は御詳しい fact28: もしそのＳ形は神々しかないとすると「顕在化し易い」ということは事実である fact29: もし仮に「そのＳ形はＧＣＴＣであるかそれは実装出来るかあるいは両方である」ということは成り立たないとするとこの青銅は実装出来ない fact30: もしその端正がＧＣＴＣだということはないとするとあの八年度は実装出来る
fact13 & fact11 -> int1: 「この青銅はリラックスする」ということは本当だ; fact5 -> int2: もし「この青銅はリラックスする」ということは真実であるならばそれは損失負担等だ; int1 & int2 -> int3: この青銅は損失負担等だ; fact26 -> int4: この青銅が細くないとすると巨人である; fact3 -> int5: 仮にこの青銅が御詳しくないとするとそれは巨人である; fact18 & fact22 -> int6: この青銅は細くないかもしくは御詳しくない; int4 & int5 & int6 -> int7: この青銅は巨人だ; int3 & int7 -> int8: この青銅は巨人であるしさらにそれは損失負担等である; int8 -> int9: なにがしかのものは巨人でその上損失負担等である; int9 & fact7 -> int10: そのＳ形は予測し易い; int10 & fact14 -> int11: 「その端正はＧＣＴＣであるがしかし予測し易くない」ということは間違いだ; int11 & fact15 -> int12: あの八年度は実装出来る; int12 -> hypothesis;
この手ロスはだだっ広いということはないかまたはそれは凝集でない
fact33 -> int13: そのＳ形は御詳しくないとしたら「「ＧＣＴＣであるか実装出来るかあるいは両方である」ということは確かだ」ということは成り立たない;
$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: この左脇腹は御詳しい fact28: もしそのＳ形は神々しかないとすると「顕在化し易い」ということは事実である fact29: もし仮に「そのＳ形はＧＣＴＣであるかそれは実装出来るかあるいは両方である」ということは成り立たないとするとこの青銅は実装出来ない fact30: もしその端正がＧＣＴＣだということはないとするとあの八年度は実装出来る ; $hypothesis$ = 「「実装出来る」ものはある」ということは事実と異なる ; $proof$ = 
fact13 & fact11 -> int1: 「この青銅はリラックスする」ということは本当だ; fact5 -> int2: もし「この青銅はリラックスする」ということは真実であるならばそれは損失負担等だ; int1 & int2 -> int3: この青銅は損失負担等だ; fact26 -> int4: この青銅が細くないとすると巨人である; fact3 -> int5: 仮にこの青銅が御詳しくないとするとそれは巨人である; fact18 & fact22 -> int6: この青銅は細くないかもしくは御詳しくない; int4 & int5 & int6 -> int7: この青銅は巨人だ; int3 & int7 -> int8: この青銅は巨人であるしさらにそれは損失負担等である; int8 -> int9: なにがしかのものは巨人でその上損失負担等である; int9 & fact7 -> int10: そのＳ形は予測し易い; int10 & fact14 -> int11: 「その端正はＧＣＴＣであるがしかし予測し易くない」ということは間違いだ; int11 & fact15 -> int12: あの八年度は実装出来る; 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: この左脇腹は御詳しい
事実28: もしそのＳ形は神々しかないとすると「顕在化し易い」ということは事実である
事実29: もし仮に「そのＳ形はＧＣＴＣであるかそれは実装出来るかあるいは両方である」ということは成り立たないとするとこの青銅は実装出来ない
事実30: もしその端正がＧＣＴＣだということはないとするとあの八年度は実装出来る

仮説: 「「実装出来る」ものはある」ということは事実と異なる
1. 事実13と事実11から、推論1: "「この青銅はリラックスする」ということは本当だ"が導かれる
2. 事実5から、推論2: "もし「この青銅はリラックスする」ということは真実であるならばそれは損失負担等だ"が導かれる
3. 推論1と推論2から、推論3: "この青銅は損失負担等だ"が導かれる
4. 事実26から、推論4: "この青銅が細くないとすると巨人である"が導かれる
5. 事実3から、推論5: "仮にこの青銅が御詳しくないとするとそれは巨人である"が導かれる
6. 事実18と事実22から、推論6: "この青銅は細くないかもしくは御詳しくない"が導かれる
7. 推論4と推論5と推論6から、推論7: "この青銅は巨人だ"が導かれる
8. 推論3と推論7から、推論8: "この青銅は巨人であるしさらにそれは損失負担等である"が導かれる
9. 推論8から、推論9: "なにがしかのものは巨人でその上損失負担等である"が導かれる
10. 推論9と事実7から、推論10: "そのＳ形は予測し易い"が導かれる
11. 推論10と事実14から、推論11: "「その端正はＧＣＴＣであるがしかし予測し易くない」ということは間違いだ"が導かれる
12. 推論11と事実15から、推論12: "あの八年度は実装出来る"が導かれる
13. 推論12から、仮説が否定される

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