「「もし仮に実現し易いなら訴え続けなくてしかも非流暢性失語でない」物はある」ということは嘘である
fact1: 仮にそのＮＳＰが染まれば入滅しなくてそれに非流暢性失語でない fact2: もしそのＮＳＰが実現し易いならばそれは訴え続けるけれど非流暢性失語でない fact3: もしそのＮＳＰが実現し易いならそれは非流暢性失語でない fact4: 「もしも「実現し易い」ということは誤りでないとすると「非流暢性失語でない」ということは確かな」物はある fact5: 「仮に「実現し易い」ということは誤りでないなら訴え続けるがしかし非流暢性失語であるということはない」物はある fact6: 未練がましい物は小麦粉オーケーでなくてしかもアレルギー物質でない fact7: 「実現し易いとすれば「訴え続けない」ということは真実な」ものはある fact8: 仮にそのＮＳＰが実現し易いとしたらそれは訴え続けないし非流暢性失語でない fact9: 「もしも実現し易いとすると訴え続けるということはないがしかし非流暢性失語である」ものはある
fact8 -> hypothesis;
fact8 -> hypothesis;
もし仮にそのＮＳＰが未練がましいとすればそれは小麦粉オーケーだということはなくてそれにそれはアレルギー物質でない
fact10 -> hypothesis;
$facts$ = fact1: 仮にそのＮＳＰが染まれば入滅しなくてそれに非流暢性失語でない fact2: もしそのＮＳＰが実現し易いならばそれは訴え続けるけれど非流暢性失語でない fact3: もしそのＮＳＰが実現し易いならそれは非流暢性失語でない fact4: 「もしも「実現し易い」ということは誤りでないとすると「非流暢性失語でない」ということは確かな」物はある fact5: 「仮に「実現し易い」ということは誤りでないなら訴え続けるがしかし非流暢性失語であるということはない」物はある fact6: 未練がましい物は小麦粉オーケーでなくてしかもアレルギー物質でない fact7: 「実現し易いとすれば「訴え続けない」ということは真実な」ものはある fact8: 仮にそのＮＳＰが実現し易いとしたらそれは訴え続けないし非流暢性失語でない fact9: 「もしも実現し易いとすると訴え続けるということはないがしかし非流暢性失語である」ものはある ; $hypothesis$ = 「「もし仮に実現し易いなら訴え続けなくてしかも非流暢性失語でない」物はある」ということは嘘である ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 仮にそのＮＳＰが染まれば入滅しなくてそれに非流暢性失語でない
事実2: もしそのＮＳＰが実現し易いならばそれは訴え続けるけれど非流暢性失語でない
事実3: もしそのＮＳＰが実現し易いならそれは非流暢性失語でない
事実4: 「もしも「実現し易い」ということは誤りでないとすると「非流暢性失語でない」ということは確かな」物はある
事実5: 「仮に「実現し易い」ということは誤りでないなら訴え続けるがしかし非流暢性失語であるということはない」物はある
事実6: 未練がましい物は小麦粉オーケーでなくてしかもアレルギー物質でない
事実7: 「実現し易いとすれば「訴え続けない」ということは真実な」ものはある
事実8: 仮にそのＮＳＰが実現し易いとしたらそれは訴え続けないし非流暢性失語でない
事実9: 「もしも実現し易いとすると訴え続けるということはないがしかし非流暢性失語である」ものはある

仮説: 「「もし仮に実現し易いなら訴え続けなくてしかも非流暢性失語でない」物はある」ということは嘘である
1. 事実8から、仮説が否定される

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