この抜き方は仄暗くない
fact1: もしもなにかは橋でないならば「仄暗くてさらに点灯する」ということは間違いだ fact2: 仮にその第一次大戦前が仄暗くないとするとこの一時退院は感じ易いか個人主義でないかあるいはどちらもである fact3: 仮に何かは得られ易いとしたら「それは橋でない」ということは誤っていない fact4: もしもこの抜き方は点灯するとすれば「仄暗い」ということは確かである fact5: 「その都立は盗塁王でない」ということは成り立つならこの抜き方は得られ易いかまたはそれは歯軋りするかあるいは両方である fact6: あの勅撰集は発揮し易くないかあるいは観光客らしいかあるいは両方であるとしたらそれは発揮し易くない fact7: 発揮し易いということはない物は平瓮であるけど改正しない fact8: 仮にその第一次大戦前がトレースしないならばこの抜き方は点灯する fact9: もしもあの勅撰集が平瓮だ一方で改正しないとすればその都立は盗塁王であるということはない fact10: あの勅撰集は発揮し易くないかもしくは観光客らしいかあるいは両方だ fact11: その第一次大戦前は個人主義であるかトレースしないかまたは両方ともである fact12: その第一次大戦前が個人主義であるかそれがトレースしないならこの抜き方は点灯する
fact12 & fact11 -> int1: この抜き方は点灯する; int1 & fact4 -> hypothesis;
この一時退院は感じ易いかもしくは個人主義でないかあるいは両方である
fact18 -> int2: もしこの抜き方は橋だということはないとすると「仄暗くてそれは点灯する」ということは間違っている; fact14 -> int3: もしあの勅撰集が発揮し易くないとするとそれは平瓮であるしそれは改正しない; fact13 & fact17 -> int4: 「あの勅撰集は発揮し易くない」ということは正しい; int3 & int4 -> int5: あの勅撰集は平瓮だが改正しない; fact19 & int5 -> int6: その都立は盗塁王でない; fact20 & int6 -> int7: この抜き方は得られ易いかまたは歯軋りするかもしくは両方ともである; fact16 -> int8: この抜き方が得られ易いならばそれは橋でない;
$facts$ = fact1: もしもなにかは橋でないならば「仄暗くてさらに点灯する」ということは間違いだ fact2: 仮にその第一次大戦前が仄暗くないとするとこの一時退院は感じ易いか個人主義でないかあるいはどちらもである fact3: 仮に何かは得られ易いとしたら「それは橋でない」ということは誤っていない fact4: もしもこの抜き方は点灯するとすれば「仄暗い」ということは確かである fact5: 「その都立は盗塁王でない」ということは成り立つならこの抜き方は得られ易いかまたはそれは歯軋りするかあるいは両方である fact6: あの勅撰集は発揮し易くないかあるいは観光客らしいかあるいは両方であるとしたらそれは発揮し易くない fact7: 発揮し易いということはない物は平瓮であるけど改正しない fact8: 仮にその第一次大戦前がトレースしないならばこの抜き方は点灯する fact9: もしもあの勅撰集が平瓮だ一方で改正しないとすればその都立は盗塁王であるということはない fact10: あの勅撰集は発揮し易くないかもしくは観光客らしいかあるいは両方だ fact11: その第一次大戦前は個人主義であるかトレースしないかまたは両方ともである fact12: その第一次大戦前が個人主義であるかそれがトレースしないならこの抜き方は点灯する ; $hypothesis$ = この抜き方は仄暗くない ; $proof$ = 
fact12 & fact11 -> int1: この抜き方は点灯する; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもなにかは橋でないならば「仄暗くてさらに点灯する」ということは間違いだ
事実2: 仮にその第一次大戦前が仄暗くないとするとこの一時退院は感じ易いか個人主義でないかあるいはどちらもである
事実3: 仮に何かは得られ易いとしたら「それは橋でない」ということは誤っていない
事実4: もしもこの抜き方は点灯するとすれば「仄暗い」ということは確かである
事実5: 「その都立は盗塁王でない」ということは成り立つならこの抜き方は得られ易いかまたはそれは歯軋りするかあるいは両方である
事実6: あの勅撰集は発揮し易くないかあるいは観光客らしいかあるいは両方であるとしたらそれは発揮し易くない
事実7: 発揮し易いということはない物は平瓮であるけど改正しない
事実8: 仮にその第一次大戦前がトレースしないならばこの抜き方は点灯する
事実9: もしもあの勅撰集が平瓮だ一方で改正しないとすればその都立は盗塁王であるということはない
事実10: あの勅撰集は発揮し易くないかもしくは観光客らしいかあるいは両方だ
事実11: その第一次大戦前は個人主義であるかトレースしないかまたは両方ともである
事実12: その第一次大戦前が個人主義であるかそれがトレースしないならこの抜き方は点灯する

仮説: この抜き方は仄暗くない
1. 事実12と事実11から、推論1: "この抜き方は点灯する"が導かれる
2. 推論1と事実4から、仮説が否定される

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