あの気迫は離さない
fact1: もしこの学校環境はＣＫＴでないとすると「この太鼓橋はＬ‐ＧＡであるしそれに残り易い」ということは成り立たない fact2: 仮にそのクライマーはせこいということはなくてかつ醜いということはないならそれは考え難くない fact3: もし仮にこの太鼓橋が絞り込めるということはないとしたらこの学校環境は爺ちゃんだし御聞かせ頂ける fact4: 「なにがしかのものはどでかいが酵素欠損であるということはない」ということは成り立たないとしたら天使らしい fact5: そのクライマーは残り易い fact6: この太鼓橋は姉御でない fact7: 仮にこの学校環境はＣＫＴであるということはないとしたら「この太鼓橋はＬ‐ＧＡでないがそれは残り易い」ということは成り立たない fact8: もしも「そのクライマーは残り易くないけどＬ‐ＧＡだ」ということは誤っているとしたら「この太鼓橋は御聞かせ頂ける」ということは成り立つ fact9: そのクライマーはＣＫＴである fact10: もしこの太鼓橋がＬ‐ＧＡであるならばそのクライマーは御聞かせ頂ける fact11: もしそのクライマーが考え難くないけれど天使らしいならこの太鼓橋は見覚えない fact12: もし「この太鼓橋はＬ‐ＧＡでないけれど残り易い」ということは誤っているとしたらそのクライマーは御聞かせ頂ける fact13: もしもそのクライマーが御聞かせ頂けるならばあの気迫は離す fact14: もし仮にこの学校環境が御聞かせ頂けるならばあの気迫は離さないがＣＫＴである fact15: 「この太鼓橋はＬ‐ＧＡであるしかつ残り易い」ということは誤りだ fact16: この学校環境はＣＫＴでない fact17: この学校環境は白黒する fact18: この太鼓橋はＣＫＴである fact19: そのクライマーはせこくないし醜くない fact20: もしも何らかのものは見覚えないならば「絞り込めない」ということは確かである
fact7 & fact16 -> int1: 「この太鼓橋はＬ‐ＧＡでないがしかし残り易い」ということは成り立たない; int1 & fact12 -> int2: そのクライマーは御聞かせ頂ける; int2 & fact13 -> hypothesis;
あの気迫は離さない
fact21 -> int3: もし仮にこの太鼓橋が見覚えないならそれは絞り込めない; fact24 & fact25 -> int4: そのクライマーは考え難くない; fact27 -> int5: もし仮に「そのクライマーはどでかいがしかし酵素欠損でない」ということは成り立たないとしたら天使らしい;
$facts$ = fact1: もしこの学校環境はＣＫＴでないとすると「この太鼓橋はＬ‐ＧＡであるしそれに残り易い」ということは成り立たない fact2: 仮にそのクライマーはせこいということはなくてかつ醜いということはないならそれは考え難くない fact3: もし仮にこの太鼓橋が絞り込めるということはないとしたらこの学校環境は爺ちゃんだし御聞かせ頂ける fact4: 「なにがしかのものはどでかいが酵素欠損であるということはない」ということは成り立たないとしたら天使らしい fact5: そのクライマーは残り易い fact6: この太鼓橋は姉御でない fact7: 仮にこの学校環境はＣＫＴであるということはないとしたら「この太鼓橋はＬ‐ＧＡでないがそれは残り易い」ということは成り立たない fact8: もしも「そのクライマーは残り易くないけどＬ‐ＧＡだ」ということは誤っているとしたら「この太鼓橋は御聞かせ頂ける」ということは成り立つ fact9: そのクライマーはＣＫＴである fact10: もしこの太鼓橋がＬ‐ＧＡであるならばそのクライマーは御聞かせ頂ける fact11: もしそのクライマーが考え難くないけれど天使らしいならこの太鼓橋は見覚えない fact12: もし「この太鼓橋はＬ‐ＧＡでないけれど残り易い」ということは誤っているとしたらそのクライマーは御聞かせ頂ける fact13: もしもそのクライマーが御聞かせ頂けるならばあの気迫は離す fact14: もし仮にこの学校環境が御聞かせ頂けるならばあの気迫は離さないがＣＫＴである fact15: 「この太鼓橋はＬ‐ＧＡであるしかつ残り易い」ということは誤りだ fact16: この学校環境はＣＫＴでない fact17: この学校環境は白黒する fact18: この太鼓橋はＣＫＴである fact19: そのクライマーはせこくないし醜くない fact20: もしも何らかのものは見覚えないならば「絞り込めない」ということは確かである ; $hypothesis$ = あの気迫は離さない ; $proof$ = 
fact7 & fact16 -> int1: 「この太鼓橋はＬ‐ＧＡでないがしかし残り易い」ということは成り立たない; int1 & fact12 -> int2: そのクライマーは御聞かせ頂ける; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: もしこの学校環境はＣＫＴでないとすると「この太鼓橋はＬ‐ＧＡであるしそれに残り易い」ということは成り立たない
事実2: 仮にそのクライマーはせこいということはなくてかつ醜いということはないならそれは考え難くない
事実3: もし仮にこの太鼓橋が絞り込めるということはないとしたらこの学校環境は爺ちゃんだし御聞かせ頂ける
事実4: 「なにがしかのものはどでかいが酵素欠損であるということはない」ということは成り立たないとしたら天使らしい
事実5: そのクライマーは残り易い
事実6: この太鼓橋は姉御でない
事実7: 仮にこの学校環境はＣＫＴであるということはないとしたら「この太鼓橋はＬ‐ＧＡでないがそれは残り易い」ということは成り立たない
事実8: もしも「そのクライマーは残り易くないけどＬ‐ＧＡだ」ということは誤っているとしたら「この太鼓橋は御聞かせ頂ける」ということは成り立つ
事実9: そのクライマーはＣＫＴである
事実10: もしこの太鼓橋がＬ‐ＧＡであるならばそのクライマーは御聞かせ頂ける
事実11: もしそのクライマーが考え難くないけれど天使らしいならこの太鼓橋は見覚えない
事実12: もし「この太鼓橋はＬ‐ＧＡでないけれど残り易い」ということは誤っているとしたらそのクライマーは御聞かせ頂ける
事実13: もしもそのクライマーが御聞かせ頂けるならばあの気迫は離す
事実14: もし仮にこの学校環境が御聞かせ頂けるならばあの気迫は離さないがＣＫＴである
事実15: 「この太鼓橋はＬ‐ＧＡであるしかつ残り易い」ということは誤りだ
事実16: この学校環境はＣＫＴでない
事実17: この学校環境は白黒する
事実18: この太鼓橋はＣＫＴである
事実19: そのクライマーはせこくないし醜くない
事実20: もしも何らかのものは見覚えないならば「絞り込めない」ということは確かである

仮説: あの気迫は離さない
1. 事実7と事実16から、推論1: "「この太鼓橋はＬ‐ＧＡでないがしかし残り易い」ということは成り立たない"が導かれる
2. 推論1と事実12から、推論2: "そのクライマーは御聞かせ頂ける"が導かれる
3. 推論2と事実13から、仮説が否定される

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