「この七番人気は五十年後だということはない」ということは事実だ
fact1: もしも「あるものは由々しくないしまたそれは海岸砲台でない」ということは間違っていれば海岸砲台である fact2: もし何かは由々しいとすれば海岸砲台である fact3: 仮にこの完本が恥肉ならこの七番人気はがめついかまたはそれは零れないかまたは両方ともである fact4: この完本は由々しい fact5: 仮になにがしかの物は零れるかまたはがめつかないかあるいは両方ともだとするとそれは掴む fact6: あの第二センテンスは五十年後である fact7: もし仮にこの完本は恥肉であるということはないなら「この七番人気は零れないかあるいはそれはがめつかないか両方ともである」ということは誤っている fact8: もしある物が海岸砲台であるがしかしそれが窘めるということはないならそれは恥肉でない fact9: もしもこの四名乗車が見極め難いとするとそれは窘めない fact10: この七番人気は五十年後である fact11: あのカバー付きは五十年後である fact12: もしなにがしかの物は零れないなら「掴むかそれは五十年後であるということはないかまたはどちらもだ」ということは誤っている fact13: この七番人気は浅い fact14: もし仮にこの四名乗車が窘めないとしたらこの完本は窘めない fact15: もしこの完本が掴むとすればこの七番人気は五十年後であるということはない fact16: 仮に何らかの物が掴まないならばそれは五十年後である fact17: 「この完本は海岸砲台だ」ということは成り立つとすれば恥肉だ fact18: 「「補填しないしさらに侮辱しない」ということは誤っている」ものはある fact19: この七番人気は理解し難い
fact10 -> hypothesis;
fact10 -> hypothesis;
この七番人気は五十年後だということはない
fact21 -> int1: もしもこの完本は零れるかまたはがめつかないか両方だとすると掴む;
$facts$ = fact1: もしも「あるものは由々しくないしまたそれは海岸砲台でない」ということは間違っていれば海岸砲台である fact2: もし何かは由々しいとすれば海岸砲台である fact3: 仮にこの完本が恥肉ならこの七番人気はがめついかまたはそれは零れないかまたは両方ともである fact4: この完本は由々しい fact5: 仮になにがしかの物は零れるかまたはがめつかないかあるいは両方ともだとするとそれは掴む fact6: あの第二センテンスは五十年後である fact7: もし仮にこの完本は恥肉であるということはないなら「この七番人気は零れないかあるいはそれはがめつかないか両方ともである」ということは誤っている fact8: もしある物が海岸砲台であるがしかしそれが窘めるということはないならそれは恥肉でない fact9: もしもこの四名乗車が見極め難いとするとそれは窘めない fact10: この七番人気は五十年後である fact11: あのカバー付きは五十年後である fact12: もしなにがしかの物は零れないなら「掴むかそれは五十年後であるということはないかまたはどちらもだ」ということは誤っている fact13: この七番人気は浅い fact14: もし仮にこの四名乗車が窘めないとしたらこの完本は窘めない fact15: もしこの完本が掴むとすればこの七番人気は五十年後であるということはない fact16: 仮に何らかの物が掴まないならばそれは五十年後である fact17: 「この完本は海岸砲台だ」ということは成り立つとすれば恥肉だ fact18: 「「補填しないしさらに侮辱しない」ということは誤っている」ものはある fact19: この七番人気は理解し難い ; $hypothesis$ = 「この七番人気は五十年後だということはない」ということは事実だ ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: もしも「あるものは由々しくないしまたそれは海岸砲台でない」ということは間違っていれば海岸砲台である
事実2: もし何かは由々しいとすれば海岸砲台である
事実3: 仮にこの完本が恥肉ならこの七番人気はがめついかまたはそれは零れないかまたは両方ともである
事実4: この完本は由々しい
事実5: 仮になにがしかの物は零れるかまたはがめつかないかあるいは両方ともだとするとそれは掴む
事実6: あの第二センテンスは五十年後である
事実7: もし仮にこの完本は恥肉であるということはないなら「この七番人気は零れないかあるいはそれはがめつかないか両方ともである」ということは誤っている
事実8: もしある物が海岸砲台であるがしかしそれが窘めるということはないならそれは恥肉でない
事実9: もしもこの四名乗車が見極め難いとするとそれは窘めない
事実10: この七番人気は五十年後である
事実11: あのカバー付きは五十年後である
事実12: もしなにがしかの物は零れないなら「掴むかそれは五十年後であるということはないかまたはどちらもだ」ということは誤っている
事実13: この七番人気は浅い
事実14: もし仮にこの四名乗車が窘めないとしたらこの完本は窘めない
事実15: もしこの完本が掴むとすればこの七番人気は五十年後であるということはない
事実16: 仮に何らかの物が掴まないならばそれは五十年後である
事実17: 「この完本は海岸砲台だ」ということは成り立つとすれば恥肉だ
事実18: 「「補填しないしさらに侮辱しない」ということは誤っている」ものはある
事実19: この七番人気は理解し難い

仮説: 「この七番人気は五十年後だということはない」ということは事実だ
1. 事実10から、仮説が否定される

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