「「もしも「「補任だということはないしさらに取り易いということはない」ということは本当だ」ということは誤りであるならば見辛い」ものはある」ということは成り立たない
fact1: 「雁なら凍て付く」ものはある fact2: 「取り易いならば見辛い」ものはある fact3: もし仮にそのスティックタイプが取り易いとしたら見辛い fact4: もし「「そのスティックタイプは補任だが取り易くない」ということは嘘である」ということは確かであるとすればそれは見辛い fact5: 「補任でなくてそれに取り易くないとしたら見辛い」物はある fact6: もし「そのスティックタイプは補任であるということはないし取り易くない」ということは本当であるとするとそれは見辛い fact7: 「仮に「補任だけれど取り易くない」ということは間違いだとすると見辛い」物はある fact8: 「仮に「補任でなくて取り易い」ということは成り立たないとしたら見辛い」ものはある fact9: 「そのスティックタイプは補任であるということはないし取り易くない」ということは偽ならば見辛い fact10: もし「なにがしかの物は補任でないしそれに毒々しかない」ということは成り立たないとすれば馴染み易い
fact9 -> hypothesis;
もしも「その秘書は補任でなくてそれに毒々しかない」ということは成り立たないならそれは馴染み易い
fact11 -> hypothesis;
$facts$ = fact1: 「雁なら凍て付く」ものはある fact2: 「取り易いならば見辛い」ものはある fact3: もし仮にそのスティックタイプが取り易いとしたら見辛い fact4: もし「「そのスティックタイプは補任だが取り易くない」ということは嘘である」ということは確かであるとすればそれは見辛い fact5: 「補任でなくてそれに取り易くないとしたら見辛い」物はある fact6: もし「そのスティックタイプは補任であるということはないし取り易くない」ということは本当であるとするとそれは見辛い fact7: 「仮に「補任だけれど取り易くない」ということは間違いだとすると見辛い」物はある fact8: 「仮に「補任でなくて取り易い」ということは成り立たないとしたら見辛い」ものはある fact9: 「そのスティックタイプは補任であるということはないし取り易くない」ということは偽ならば見辛い fact10: もし「なにがしかの物は補任でないしそれに毒々しかない」ということは成り立たないとすれば馴染み易い ; $hypothesis$ = 「「もしも「「補任だということはないしさらに取り易いということはない」ということは本当だ」ということは誤りであるならば見辛い」ものはある」ということは成り立たない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「雁なら凍て付く」ものはある
事実2: 「取り易いならば見辛い」ものはある
事実3: もし仮にそのスティックタイプが取り易いとしたら見辛い
事実4: もし「「そのスティックタイプは補任だが取り易くない」ということは嘘である」ということは確かであるとすればそれは見辛い
事実5: 「補任でなくてそれに取り易くないとしたら見辛い」物はある
事実6: もし「そのスティックタイプは補任であるということはないし取り易くない」ということは本当であるとするとそれは見辛い
事実7: 「仮に「補任だけれど取り易くない」ということは間違いだとすると見辛い」物はある
事実8: 「仮に「補任でなくて取り易い」ということは成り立たないとしたら見辛い」ものはある
事実9: 「そのスティックタイプは補任であるということはないし取り易くない」ということは偽ならば見辛い
事実10: もし「なにがしかの物は補任でないしそれに毒々しかない」ということは成り立たないとすれば馴染み易い

仮説: 「「もしも「「補任だということはないしさらに取り易いということはない」ということは本当だ」ということは誤りであるならば見辛い」ものはある」ということは成り立たない
1. 事実9から、仮説が否定される

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