「「仮に出現し易いならば「感じ易いということはないしかつ心置き無くない」ということは偽な」物はある」ということは成り立たない
fact1: 「出現し易いなら「感じ易くない一方で心置き無い」ということは偽である」物はある fact2: 「もしも出現し易いならば感じ易くないしかつ心置き無くない」ものはある fact3: もし仮にそのバルメン宣言は出現し易いとすれば「それは感じ易くないけれど心置き無い」ということは嘘だ fact4: 仮にそのバルメン宣言が出現し易いとすれば感じ易くなくて加えて心置き無くない fact5: もしもそのバルメン宣言は出現し易いとすれば「感じ易くないし心置き無くない」ということは成り立たない fact6: 「もし出現し易いとすると「感じ易いししかも心置き無くない」ということは誤っている」物はある fact7: 「もしよど号犯だとすると「苛々し易くないし空しかない」ということは事実だということはない」ものはある fact8: もしも何らかのものは得られ難いなら「それは臣従でないしさらに心置き無くない」ということは成り立たない fact9: 仮にそのバルメン宣言は出現し易いとしたら「それは感じ易くてまた心置き無くない」ということは偽だ
fact5 -> hypothesis;
そのカロッツェリアは得られ難いとしたら「それは臣従でないししかも心置き無くない」ということは間違っている
fact10 -> hypothesis;
$facts$ = fact1: 「出現し易いなら「感じ易くない一方で心置き無い」ということは偽である」物はある fact2: 「もしも出現し易いならば感じ易くないしかつ心置き無くない」ものはある fact3: もし仮にそのバルメン宣言は出現し易いとすれば「それは感じ易くないけれど心置き無い」ということは嘘だ fact4: 仮にそのバルメン宣言が出現し易いとすれば感じ易くなくて加えて心置き無くない fact5: もしもそのバルメン宣言は出現し易いとすれば「感じ易くないし心置き無くない」ということは成り立たない fact6: 「もし出現し易いとすると「感じ易いししかも心置き無くない」ということは誤っている」物はある fact7: 「もしよど号犯だとすると「苛々し易くないし空しかない」ということは事実だということはない」ものはある fact8: もしも何らかのものは得られ難いなら「それは臣従でないしさらに心置き無くない」ということは成り立たない fact9: 仮にそのバルメン宣言は出現し易いとしたら「それは感じ易くてまた心置き無くない」ということは偽だ ; $hypothesis$ = 「「仮に出現し易いならば「感じ易いということはないしかつ心置き無くない」ということは偽な」物はある」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「出現し易いなら「感じ易くない一方で心置き無い」ということは偽である」物はある
事実2: 「もしも出現し易いならば感じ易くないしかつ心置き無くない」ものはある
事実3: もし仮にそのバルメン宣言は出現し易いとすれば「それは感じ易くないけれど心置き無い」ということは嘘だ
事実4: 仮にそのバルメン宣言が出現し易いとすれば感じ易くなくて加えて心置き無くない
事実5: もしもそのバルメン宣言は出現し易いとすれば「感じ易くないし心置き無くない」ということは成り立たない
事実6: 「もし出現し易いとすると「感じ易いししかも心置き無くない」ということは誤っている」物はある
事実7: 「もしよど号犯だとすると「苛々し易くないし空しかない」ということは事実だということはない」ものはある
事実8: もしも何らかのものは得られ難いなら「それは臣従でないしさらに心置き無くない」ということは成り立たない
事実9: 仮にそのバルメン宣言は出現し易いとしたら「それは感じ易くてまた心置き無くない」ということは偽だ

仮説: 「「仮に出現し易いならば「感じ易いということはないしかつ心置き無くない」ということは偽な」物はある」ということは成り立たない
1. 事実5から、仮説が否定される

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