「あのオンブズマンは物々交換する一方で提示出来ない」ということは事実だということはない
fact1: 仮に「絶え間無くない」物があるならあのオンブズマンは物々交換するが提示出来ない fact2: 仮に「「物々交換しない」ということは成り立つ」ものがあればあのオンブズマンは提示出来ない fact3: なにかは絶え間無くない fact4: もしも絶え間無くない物があるとしたらあのオンブズマンは提示出来ない fact5: 「絶え間無い」物はある fact6: あのオンブズマンは提示出来るということはない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「絶え間無くない」物があるならあのオンブズマンは物々交換するが提示出来ない fact2: 仮に「「物々交換しない」ということは成り立つ」ものがあればあのオンブズマンは提示出来ない fact3: なにかは絶え間無くない fact4: もしも絶え間無くない物があるとしたらあのオンブズマンは提示出来ない fact5: 「絶え間無い」物はある fact6: あのオンブズマンは提示出来るということはない ; $hypothesis$ = 「あのオンブズマンは物々交換する一方で提示出来ない」ということは事実だということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「絶え間無くない」物があるならあのオンブズマンは物々交換するが提示出来ない
事実2: 仮に「「物々交換しない」ということは成り立つ」ものがあればあのオンブズマンは提示出来ない
事実3: なにかは絶え間無くない
事実4: もしも絶え間無くない物があるとしたらあのオンブズマンは提示出来ない
事実5: 「絶え間無い」物はある
事実6: あのオンブズマンは提示出来るということはない

仮説: 「あのオンブズマンは物々交換する一方で提示出来ない」ということは事実だということはない
1. 事実3と事実1から、仮説が否定される

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