「「もしも「感謝状でない一方で起こし易い」ということは間違っていれば追っ掛ける」物はある」ということは成り立たない
fact1: もしなんらかのものは感謝状でないけど起こし易いならば追っ掛ける fact2: 「もし起こし易くないとすると追っ掛ける」ものはある fact3: もしも「何かは感謝状でないけど起こし易い」ということは真実であるということはないとしたら追っ掛ける fact4: 仮にこの祖父母が感謝状でないけどそれが起こし易いとしたらそれは追っ掛ける fact5: 「もしも感謝状でないがしかし起こし易いとしたら追っ掛ける」物はある fact6: 仮に「この祖父母は感謝状だしまた起こし易い」ということは誤っているとしたら追っ掛ける fact7: 仮にこの祖父母が起こし易くないとしたら追っ掛ける fact8: 「もしも「起こり難いし徹する」ということは成り立たないとすると腹黒い」ものはある
fact3 -> int1: 「この祖父母は感謝状だということはないがしかしそれは起こし易い」ということは嘘であるとすればそれは追っ掛ける; int1 -> hypothesis;
$facts$ = fact1: もしなんらかのものは感謝状でないけど起こし易いならば追っ掛ける fact2: 「もし起こし易くないとすると追っ掛ける」ものはある fact3: もしも「何かは感謝状でないけど起こし易い」ということは真実であるということはないとしたら追っ掛ける fact4: 仮にこの祖父母が感謝状でないけどそれが起こし易いとしたらそれは追っ掛ける fact5: 「もしも感謝状でないがしかし起こし易いとしたら追っ掛ける」物はある fact6: 仮に「この祖父母は感謝状だしまた起こし易い」ということは誤っているとしたら追っ掛ける fact7: 仮にこの祖父母が起こし易くないとしたら追っ掛ける fact8: 「もしも「起こり難いし徹する」ということは成り立たないとすると腹黒い」ものはある ; $hypothesis$ = 「「もしも「感謝状でない一方で起こし易い」ということは間違っていれば追っ掛ける」物はある」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「この祖父母は感謝状だということはないがしかしそれは起こし易い」ということは嘘であるとすればそれは追っ掛ける; int1 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものは感謝状でないけど起こし易いならば追っ掛ける
事実2: 「もし起こし易くないとすると追っ掛ける」ものはある
事実3: もしも「何かは感謝状でないけど起こし易い」ということは真実であるということはないとしたら追っ掛ける
事実4: 仮にこの祖父母が感謝状でないけどそれが起こし易いとしたらそれは追っ掛ける
事実5: 「もしも感謝状でないがしかし起こし易いとしたら追っ掛ける」物はある
事実6: 仮に「この祖父母は感謝状だしまた起こし易い」ということは誤っているとしたら追っ掛ける
事実7: 仮にこの祖父母が起こし易くないとしたら追っ掛ける
事実8: 「もしも「起こり難いし徹する」ということは成り立たないとすると腹黒い」ものはある

仮説: 「「もしも「感謝状でない一方で起こし易い」ということは間違っていれば追っ掛ける」物はある」ということは成り立たない
1. 事実3から、推論1: "「この祖父母は感謝状だということはないがしかしそれは起こし易い」ということは嘘であるとすればそれは追っ掛ける"が導かれる
2. 推論1から、仮説が否定される

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