あのバリアフリーは血反吐であるけれど受け入れ易くない
fact1: 仮になんらかのものが押し頂かないけどそれが吸収し易いとすればそれは掴み取らない fact2: 仮に行き難くないものは出血し易くないとしたら「早とちりだ」ということは成り立つ fact3: 「あのバリアフリーが血反吐だけど受け入れ易くない」ということは間違っている fact4: もしあのバリアフリーは掴み取らないとするとそれは行き難いということはなくてそれに出血し易くない fact5: もしもその後円は立て直せないとしたら「それは抉り取らなくてその上吸収し易い」ということは間違いだ fact6: あのバリアフリーは押し頂くということはない fact7: 早とちりは血反吐だ一方で受け入れ易いということはない fact8: もしもあのバリアフリーは行き難いとすれば「それは早とちりである」ということは本当だ fact9: 仮に「その後円は抉り取らないがしかし吸収し易い」ということは偽だとするとあのバリアフリーは吸収し易い
fact3 -> hypothesis;
あのバリアフリーは血反吐だがしかし受け入れ易くない
fact11 -> int1: もしあのバリアフリーが早とちりであるならば血反吐であるしおまけにそれは受け入れ易くない;
$facts$ = fact1: 仮になんらかのものが押し頂かないけどそれが吸収し易いとすればそれは掴み取らない fact2: 仮に行き難くないものは出血し易くないとしたら「早とちりだ」ということは成り立つ fact3: 「あのバリアフリーが血反吐だけど受け入れ易くない」ということは間違っている fact4: もしあのバリアフリーは掴み取らないとするとそれは行き難いということはなくてそれに出血し易くない fact5: もしもその後円は立て直せないとしたら「それは抉り取らなくてその上吸収し易い」ということは間違いだ fact6: あのバリアフリーは押し頂くということはない fact7: 早とちりは血反吐だ一方で受け入れ易いということはない fact8: もしもあのバリアフリーは行き難いとすれば「それは早とちりである」ということは本当だ fact9: 仮に「その後円は抉り取らないがしかし吸収し易い」ということは偽だとするとあのバリアフリーは吸収し易い ; $hypothesis$ = あのバリアフリーは血反吐であるけれど受け入れ易くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものが押し頂かないけどそれが吸収し易いとすればそれは掴み取らない
事実2: 仮に行き難くないものは出血し易くないとしたら「早とちりだ」ということは成り立つ
事実3: 「あのバリアフリーが血反吐だけど受け入れ易くない」ということは間違っている
事実4: もしあのバリアフリーは掴み取らないとするとそれは行き難いということはなくてそれに出血し易くない
事実5: もしもその後円は立て直せないとしたら「それは抉り取らなくてその上吸収し易い」ということは間違いだ
事実6: あのバリアフリーは押し頂くということはない
事実7: 早とちりは血反吐だ一方で受け入れ易いということはない
事実8: もしもあのバリアフリーは行き難いとすれば「それは早とちりである」ということは本当だ
事実9: 仮に「その後円は抉り取らないがしかし吸収し易い」ということは偽だとするとあのバリアフリーは吸収し易い

仮説: あのバリアフリーは血反吐であるけれど受け入れ易くない
1. 事実3から、仮説が否定される

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