「「もしも遠さだけれど油っぽくないならば痛ましい」ものはある」ということは成り立たない
fact1: もし仮にあの偶成は諦めるけれどきったなくないなら遠さだ fact2: 何らかの物が痛ましいがしかし丹波島橋でないならばそれは面白おかしい fact3: 「仮に労働する一方で平行するということはないとしたら黒光りする」ものはある fact4: 「もし仮に這いずり回るしおまけに他愛無くないなら「黒光りする」ということは成り立つ」ものはある fact5: 「仮にマップである一方で師でないならば相応しい」物はある fact6: あの小松は遠さであるがしかし油っぽくないならそれは痛ましい fact7: 「もし仮に遠さであるしそれに油っぽいなら痛ましい」物はある fact8: 「もしも共同利用するしその上疲れ易いとしたら狡っ辛い」ものはある fact9: もし仮に石頭は困惑しないならば「町外れである」ということは間違いであるということはない fact10: あの小松が遠さだしかつ油っぽいとしたら痛ましい
fact6 -> hypothesis;
もし「あの聖ヒラム騎士団は痛ましいけれどそれは丹波島橋でない」ということは真実であるならそれは面白おかしい
fact11 -> hypothesis;
$facts$ = fact1: もし仮にあの偶成は諦めるけれどきったなくないなら遠さだ fact2: 何らかの物が痛ましいがしかし丹波島橋でないならばそれは面白おかしい fact3: 「仮に労働する一方で平行するということはないとしたら黒光りする」ものはある fact4: 「もし仮に這いずり回るしおまけに他愛無くないなら「黒光りする」ということは成り立つ」ものはある fact5: 「仮にマップである一方で師でないならば相応しい」物はある fact6: あの小松は遠さであるがしかし油っぽくないならそれは痛ましい fact7: 「もし仮に遠さであるしそれに油っぽいなら痛ましい」物はある fact8: 「もしも共同利用するしその上疲れ易いとしたら狡っ辛い」ものはある fact9: もし仮に石頭は困惑しないならば「町外れである」ということは間違いであるということはない fact10: あの小松が遠さだしかつ油っぽいとしたら痛ましい ; $hypothesis$ = 「「もしも遠さだけれど油っぽくないならば痛ましい」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にあの偶成は諦めるけれどきったなくないなら遠さだ
事実2: 何らかの物が痛ましいがしかし丹波島橋でないならばそれは面白おかしい
事実3: 「仮に労働する一方で平行するということはないとしたら黒光りする」ものはある
事実4: 「もし仮に這いずり回るしおまけに他愛無くないなら「黒光りする」ということは成り立つ」ものはある
事実5: 「仮にマップである一方で師でないならば相応しい」物はある
事実6: あの小松は遠さであるがしかし油っぽくないならそれは痛ましい
事実7: 「もし仮に遠さであるしそれに油っぽいなら痛ましい」物はある
事実8: 「もしも共同利用するしその上疲れ易いとしたら狡っ辛い」ものはある
事実9: もし仮に石頭は困惑しないならば「町外れである」ということは間違いであるということはない
事実10: あの小松が遠さだしかつ油っぽいとしたら痛ましい

仮説: 「「もしも遠さだけれど油っぽくないならば痛ましい」ものはある」ということは成り立たない
1. 事実6から、仮説が否定される

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