「その蝙蝠安は成し難くないがしかしそれはチーム・ゲームだ」ということは誤りである
fact1: その蝙蝠安はチーム・ゲームである fact2: あの対角線はチーム・ゲームだ fact3: もしもあの首輪は具体策でないとすれば「その蝙蝠安は成し難くないけれどチーム・ゲームだ」ということは間違っている fact4: あの首輪は具体策だ fact5: もしもその蝙蝠安が具体策であるとするとあの首輪は成し難くない fact6: もしあの首輪が具体策ならばその蝙蝠安は成し難くないけどそれはチーム・ゲームだ fact7: あのダブリングは予測し易くない fact8: その蝙蝠安は具体策でない fact9: その蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでない fact10: この光学顕微鏡は成し難い fact11: この町作りは成し難い fact12: あの首輪は投射である fact13: あの首輪はチーム・ゲームである fact14: この御要望は成し難くない fact15: 仮になにがしかのものが張り込むということはないならそれは纏わり付くということはないけれど刺々しい fact16: もしあの首輪が具体策であるとすればあの蝙蝠安はチーム・ゲームである fact17: もしもその蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでないけど成し難い fact18: あの慣用的表現は予測し易くないかあるいは悲しないかまたはどちらもである fact19: もしも「あの慣用的表現は刺々しかないしそれは具体策でない」ということは誤っているとしたら「「あの首輪は具体策だ」ということは真実である」ということは成り立たない fact20: あの首輪は真っ暗くない一方でチーム・ゲームだ fact21: その競争市場はチーム・ゲームだ
fact6 & fact4 -> hypothesis;
「その蝙蝠安は成し難いということはないけどチーム・ゲームだ」ということは間違いである
fact24 -> int1: もし「あの慣用的表現は張り込まない」ということは事実だとすると纏わり付かないしそれは刺々しい;
$facts$ = fact1: その蝙蝠安はチーム・ゲームである fact2: あの対角線はチーム・ゲームだ fact3: もしもあの首輪は具体策でないとすれば「その蝙蝠安は成し難くないけれどチーム・ゲームだ」ということは間違っている fact4: あの首輪は具体策だ fact5: もしもその蝙蝠安が具体策であるとするとあの首輪は成し難くない fact6: もしあの首輪が具体策ならばその蝙蝠安は成し難くないけどそれはチーム・ゲームだ fact7: あのダブリングは予測し易くない fact8: その蝙蝠安は具体策でない fact9: その蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでない fact10: この光学顕微鏡は成し難い fact11: この町作りは成し難い fact12: あの首輪は投射である fact13: あの首輪はチーム・ゲームである fact14: この御要望は成し難くない fact15: 仮になにがしかのものが張り込むということはないならそれは纏わり付くということはないけれど刺々しい fact16: もしあの首輪が具体策であるとすればあの蝙蝠安はチーム・ゲームである fact17: もしもその蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでないけど成し難い fact18: あの慣用的表現は予測し易くないかあるいは悲しないかまたはどちらもである fact19: もしも「あの慣用的表現は刺々しかないしそれは具体策でない」ということは誤っているとしたら「「あの首輪は具体策だ」ということは真実である」ということは成り立たない fact20: あの首輪は真っ暗くない一方でチーム・ゲームだ fact21: その競争市場はチーム・ゲームだ ; $hypothesis$ = 「その蝙蝠安は成し難くないがしかしそれはチーム・ゲームだ」ということは誤りである ; $proof$ = 
fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: その蝙蝠安はチーム・ゲームである
事実2: あの対角線はチーム・ゲームだ
事実3: もしもあの首輪は具体策でないとすれば「その蝙蝠安は成し難くないけれどチーム・ゲームだ」ということは間違っている
事実4: あの首輪は具体策だ
事実5: もしもその蝙蝠安が具体策であるとするとあの首輪は成し難くない
事実6: もしあの首輪が具体策ならばその蝙蝠安は成し難くないけどそれはチーム・ゲームだ
事実7: あのダブリングは予測し易くない
事実8: その蝙蝠安は具体策でない
事実9: その蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでない
事実10: この光学顕微鏡は成し難い
事実11: この町作りは成し難い
事実12: あの首輪は投射である
事実13: あの首輪はチーム・ゲームである
事実14: この御要望は成し難くない
事実15: 仮になにがしかのものが張り込むということはないならそれは纏わり付くということはないけれど刺々しい
事実16: もしあの首輪が具体策であるとすればあの蝙蝠安はチーム・ゲームである
事実17: もしもその蝙蝠安が具体策であるとすればあの首輪はチーム・ゲームでないけど成し難い
事実18: あの慣用的表現は予測し易くないかあるいは悲しないかまたはどちらもである
事実19: もしも「あの慣用的表現は刺々しかないしそれは具体策でない」ということは誤っているとしたら「「あの首輪は具体策だ」ということは真実である」ということは成り立たない
事実20: あの首輪は真っ暗くない一方でチーム・ゲームだ
事実21: その競争市場はチーム・ゲームだ

仮説: 「その蝙蝠安は成し難くないがしかしそれはチーム・ゲームだ」ということは誤りである
1. 事実6と事実4から、仮説が否定される

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