「「もし「カリ肥料でおまけに抗い難いということはない」ということは誤っているなら落ち掛けない」物はある」ということは誤りである
fact1: 「ある物はカリ肥料だけれど抗い難くない」ということは間違いであるとすればそれは落ち掛けるということはない fact2: 「仮に「カリ肥料である一方で抗い難くない」ということは誤りだとしたら落ち掛ける」ものはある fact3: もし仮に「なんらかの物は落ち掛ける一方で見向かない」ということは間違いであるとしたらそれは酔い易くない fact4: 仮にこの連続直線はカリ肥料でないなら落ち掛けない fact5: 「この連続直線はカリ肥料であるけど抗い難くない」ということは成り立たないなら落ち掛ける fact6: もしその血行再建術が行き易いなら落ち掛けない fact7: 仮に「何らかのものはカリ肥料であるけれど抗い難くない」ということは間違いであるなら落ち掛ける fact8: もし「なにかはカリ肥料で抗い難い」ということは嘘だとすると落ち掛けない fact9: 仮にカリ肥料が抗い難くないとしたらそれは落ち掛けない fact10: 「カリ肥料だし抗い難いということはないならば落ち掛けない」物はある fact11: もしこの連続直線がカリ肥料だけどそれが抗い難くないとしたら落ち掛けるということはない
fact1 -> int1: 「この連続直線はカリ肥料だけれどそれは抗い難くない」ということは嘘だとしたら落ち掛けない; int1 -> hypothesis;
「この世界大戦は落ち掛けるけれど見向かない」ということは誤りであるとすればそれは酔い易くない
fact12 -> hypothesis;
$facts$ = fact1: 「ある物はカリ肥料だけれど抗い難くない」ということは間違いであるとすればそれは落ち掛けるということはない fact2: 「仮に「カリ肥料である一方で抗い難くない」ということは誤りだとしたら落ち掛ける」ものはある fact3: もし仮に「なんらかの物は落ち掛ける一方で見向かない」ということは間違いであるとしたらそれは酔い易くない fact4: 仮にこの連続直線はカリ肥料でないなら落ち掛けない fact5: 「この連続直線はカリ肥料であるけど抗い難くない」ということは成り立たないなら落ち掛ける fact6: もしその血行再建術が行き易いなら落ち掛けない fact7: 仮に「何らかのものはカリ肥料であるけれど抗い難くない」ということは間違いであるなら落ち掛ける fact8: もし「なにかはカリ肥料で抗い難い」ということは嘘だとすると落ち掛けない fact9: 仮にカリ肥料が抗い難くないとしたらそれは落ち掛けない fact10: 「カリ肥料だし抗い難いということはないならば落ち掛けない」物はある fact11: もしこの連続直線がカリ肥料だけどそれが抗い難くないとしたら落ち掛けるということはない ; $hypothesis$ = 「「もし「カリ肥料でおまけに抗い難いということはない」ということは誤っているなら落ち掛けない」物はある」ということは誤りである ; $proof$ = 
fact1 -> int1: 「この連続直線はカリ肥料だけれどそれは抗い難くない」ということは嘘だとしたら落ち掛けない; int1 -> hypothesis; __DISPROVED__
事実1: 「ある物はカリ肥料だけれど抗い難くない」ということは間違いであるとすればそれは落ち掛けるということはない
事実2: 「仮に「カリ肥料である一方で抗い難くない」ということは誤りだとしたら落ち掛ける」ものはある
事実3: もし仮に「なんらかの物は落ち掛ける一方で見向かない」ということは間違いであるとしたらそれは酔い易くない
事実4: 仮にこの連続直線はカリ肥料でないなら落ち掛けない
事実5: 「この連続直線はカリ肥料であるけど抗い難くない」ということは成り立たないなら落ち掛ける
事実6: もしその血行再建術が行き易いなら落ち掛けない
事実7: 仮に「何らかのものはカリ肥料であるけれど抗い難くない」ということは間違いであるなら落ち掛ける
事実8: もし「なにかはカリ肥料で抗い難い」ということは嘘だとすると落ち掛けない
事実9: 仮にカリ肥料が抗い難くないとしたらそれは落ち掛けない
事実10: 「カリ肥料だし抗い難いということはないならば落ち掛けない」物はある
事実11: もしこの連続直線がカリ肥料だけどそれが抗い難くないとしたら落ち掛けるということはない

仮説: 「「もし「カリ肥料でおまけに抗い難いということはない」ということは誤っているなら落ち掛けない」物はある」ということは誤りである
1. 事実1から、推論1: "「この連続直線はカリ肥料だけれどそれは抗い難くない」ということは嘘だとしたら落ち掛けない"が導かれる
2. 推論1から、仮説が否定される

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