「「「リニューアルしない」ということは成り立つ」物はある」ということは嘘だ
fact1: そのシュゴ鳥は止む無くないが有り難し fact2: そのシュゴ鳥は止む無くない fact3: あの十念は推計しない fact4: もし仮にあの十念がリニューアルしないけれど有り難しとするとそのシュゴ鳥は止む無くない fact5: 何らかのものは澱粉質でない fact6: そのシュゴ鳥は駅長でない fact7: とある物はリニューアルする fact8: 仮にそのシュゴ鳥が止む無くないがしかしそれはリニューアルするとしたら「あの十念は有り難しない」ということは成り立つ fact9: もし仮にそのシュゴ鳥がリニューアルしない一方でそれが有り難しならあの十念は止む無いということはない fact10: もしあの十念がリニューアルしないけど止む無いならそのシュゴ鳥は有り難しということはない fact11: 止む無くない物はある fact12: そのシュゴ鳥は期し難くないけれどソーリーだ fact13: もしそのシュゴ鳥が止む無いし有り難しとしたらあの十念はリニューアルしない fact14: そのシュゴ鳥は止む無くない一方でリニューアルする fact15: そのシュゴ鳥はややこしくない fact16: 「有り難しない」物はある fact17: もしもそのシュゴ鳥がリニューアルしないけれど止む無いならばあの十念は有り難しない fact18: 「「情けなくない」ということは正しい」ものはある fact19: そのシュゴ鳥は有し得ないけれどそれはリニューアルする fact20: そのシュゴ鳥が止む無いということはないけれど有り難しならあの十念はリニューアルしない
fact20 & fact1 -> int1: あの十念はリニューアルしない; int1 -> hypothesis;
fact20 & fact1 -> int1: ¬{B}{b}; int1 -> hypothesis;
$facts$ = fact1: そのシュゴ鳥は止む無くないが有り難し fact2: そのシュゴ鳥は止む無くない fact3: あの十念は推計しない fact4: もし仮にあの十念がリニューアルしないけれど有り難しとするとそのシュゴ鳥は止む無くない fact5: 何らかのものは澱粉質でない fact6: そのシュゴ鳥は駅長でない fact7: とある物はリニューアルする fact8: 仮にそのシュゴ鳥が止む無くないがしかしそれはリニューアルするとしたら「あの十念は有り難しない」ということは成り立つ fact9: もし仮にそのシュゴ鳥がリニューアルしない一方でそれが有り難しならあの十念は止む無いということはない fact10: もしあの十念がリニューアルしないけど止む無いならそのシュゴ鳥は有り難しということはない fact11: 止む無くない物はある fact12: そのシュゴ鳥は期し難くないけれどソーリーだ fact13: もしそのシュゴ鳥が止む無いし有り難しとしたらあの十念はリニューアルしない fact14: そのシュゴ鳥は止む無くない一方でリニューアルする fact15: そのシュゴ鳥はややこしくない fact16: 「有り難しない」物はある fact17: もしもそのシュゴ鳥がリニューアルしないけれど止む無いならばあの十念は有り難しない fact18: 「「情けなくない」ということは正しい」ものはある fact19: そのシュゴ鳥は有し得ないけれどそれはリニューアルする fact20: そのシュゴ鳥が止む無いということはないけれど有り難しならあの十念はリニューアルしない ; $hypothesis$ = 「「「リニューアルしない」ということは成り立つ」物はある」ということは嘘だ ; $proof$ = 
fact20 & fact1 -> int1: あの十念はリニューアルしない; int1 -> hypothesis; __DISPROVED__
事実1: そのシュゴ鳥は止む無くないが有り難し
事実2: そのシュゴ鳥は止む無くない
事実3: あの十念は推計しない
事実4: もし仮にあの十念がリニューアルしないけれど有り難しとするとそのシュゴ鳥は止む無くない
事実5: 何らかのものは澱粉質でない
事実6: そのシュゴ鳥は駅長でない
事実7: とある物はリニューアルする
事実8: 仮にそのシュゴ鳥が止む無くないがしかしそれはリニューアルするとしたら「あの十念は有り難しない」ということは成り立つ
事実9: もし仮にそのシュゴ鳥がリニューアルしない一方でそれが有り難しならあの十念は止む無いということはない
事実10: もしあの十念がリニューアルしないけど止む無いならそのシュゴ鳥は有り難しということはない
事実11: 止む無くない物はある
事実12: そのシュゴ鳥は期し難くないけれどソーリーだ
事実13: もしそのシュゴ鳥が止む無いし有り難しとしたらあの十念はリニューアルしない
事実14: そのシュゴ鳥は止む無くない一方でリニューアルする
事実15: そのシュゴ鳥はややこしくない
事実16: 「有り難しない」物はある
事実17: もしもそのシュゴ鳥がリニューアルしないけれど止む無いならばあの十念は有り難しない
事実18: 「「情けなくない」ということは正しい」ものはある
事実19: そのシュゴ鳥は有し得ないけれどそれはリニューアルする
事実20: そのシュゴ鳥が止む無いということはないけれど有り難しならあの十念はリニューアルしない

仮説: 「「「リニューアルしない」ということは成り立つ」物はある」ということは嘘だ
1. 事実20と事実1から、推論1: "あの十念はリニューアルしない"が導かれる
2. 推論1から、仮説が否定される

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