このサラリーマン達は新造する
fact1: この商業上は新造しない fact2: どれもこれもは偶発でない fact3: マンゴーは新造しないしし難くない fact4: このサラリーマン達は新造しない fact5: この歴史性は新造するということはない fact6: もし仮に何らかのものが偶発でないなら蹴上げるし諸語である
fact4 -> hypothesis;
fact4 -> hypothesis;
この文書内容は新造するということはない
fact8 -> int1: この文書内容がマンゴーであるならば新造しないしさらにし難くない; fact9 -> int2: もし仮にこのサラリーマン達が偶発でないとすれば蹴上げるしおまけに諸語だ; fact7 -> int3: このサラリーマン達は偶発でない; int2 & int3 -> int4: このサラリーマン達は蹴上げるし諸語である; int4 -> int5: 全ては蹴上げるしそれに諸語だ; int5 -> int6: この文書内容は蹴上げるしおまけに諸語だ; int6 -> int7: この文書内容は蹴上げる;
$facts$ = fact1: この商業上は新造しない fact2: どれもこれもは偶発でない fact3: マンゴーは新造しないしし難くない fact4: このサラリーマン達は新造しない fact5: この歴史性は新造するということはない fact6: もし仮に何らかのものが偶発でないなら蹴上げるし諸語である ; $hypothesis$ = このサラリーマン達は新造する ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: この商業上は新造しない
事実2: どれもこれもは偶発でない
事実3: マンゴーは新造しないしし難くない
事実4: このサラリーマン達は新造しない
事実5: この歴史性は新造するということはない
事実6: もし仮に何らかのものが偶発でないなら蹴上げるし諸語である

仮説: このサラリーマン達は新造する
1. 事実4から、仮説が否定される

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