「仮に打っ殺さなくて加えて直談判しないなら詳述しない」物はある
fact1: 「打っ殺さないし直談判するとすると詳述しない」物はある fact2: もしもその紫外線対策は打っ殺さなくて直談判するということはないとすれば「詳述しない」ということは成り立つ fact3: 「もしも打っ殺すということはないしそれに直談判しないとすれば詳述する」物はある fact4: 「もし考え難いけれど算定し難いということはないとすると物憂くない」物はある fact5: 仮に疎いということはない物が捜し回らないならファイルするということはない fact6: 「もしもその紫外線対策が打っ殺すということはないがしかし直談判するならその紫外線対策は詳述しない」ということは成り立つ
fact2 -> hypothesis;
「もし疎くないしその上捜し回らないならファイルするということはない」物はある
fact7 -> int1: もしこの古銭は疎くないしその上捜し回らないならそれはファイルしない; int1 -> hypothesis;
$facts$ = fact1: 「打っ殺さないし直談判するとすると詳述しない」物はある fact2: もしもその紫外線対策は打っ殺さなくて直談判するということはないとすれば「詳述しない」ということは成り立つ fact3: 「もしも打っ殺すということはないしそれに直談判しないとすれば詳述する」物はある fact4: 「もし考え難いけれど算定し難いということはないとすると物憂くない」物はある fact5: 仮に疎いということはない物が捜し回らないならファイルするということはない fact6: 「もしもその紫外線対策が打っ殺すということはないがしかし直談判するならその紫外線対策は詳述しない」ということは成り立つ ; $hypothesis$ = 「仮に打っ殺さなくて加えて直談判しないなら詳述しない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「打っ殺さないし直談判するとすると詳述しない」物はある
事実2: もしもその紫外線対策は打っ殺さなくて直談判するということはないとすれば「詳述しない」ということは成り立つ
事実3: 「もしも打っ殺すということはないしそれに直談判しないとすれば詳述する」物はある
事実4: 「もし考え難いけれど算定し難いということはないとすると物憂くない」物はある
事実5: 仮に疎いということはない物が捜し回らないならファイルするということはない
事実6: 「もしもその紫外線対策が打っ殺すということはないがしかし直談判するならその紫外線対策は詳述しない」ということは成り立つ

仮説: 「仮に打っ殺さなくて加えて直談判しないなら詳述しない」物はある
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。