あの無頼は糾合しない
fact1: 仮に何らかのものは債務者Ｂでないとしたら監査契約でない fact2: 仮にあの情報・データは監査契約でないしさらに歯痒くないならば「あの閣僚は歯痒くない」ということは確かである fact3: もし「あの閣僚は歯痒い」ということは成り立たないとすればあの無頼は糾合するしそれはけばけばしい fact4: あの無頼は吸収され難くない fact5: あらゆるものは脂っこくない fact6: あの固形物は糾合しない fact7: すべては報復でない fact8: 仮にある物がけばけばしいならば日向灘でなくてそれは糾合するということはない fact9: もしもとあるものが監査契約でないとしたらけばけばしいしおまけにそれは歯痒い fact10: 全ては訪中しない fact11: すべての物は糾合しない
fact11 -> hypothesis;
fact11 -> hypothesis;
あの無頼は糾合する
$facts$ = fact1: 仮に何らかのものは債務者Ｂでないとしたら監査契約でない fact2: 仮にあの情報・データは監査契約でないしさらに歯痒くないならば「あの閣僚は歯痒くない」ということは確かである fact3: もし「あの閣僚は歯痒い」ということは成り立たないとすればあの無頼は糾合するしそれはけばけばしい fact4: あの無頼は吸収され難くない fact5: あらゆるものは脂っこくない fact6: あの固形物は糾合しない fact7: すべては報復でない fact8: 仮にある物がけばけばしいならば日向灘でなくてそれは糾合するということはない fact9: もしもとあるものが監査契約でないとしたらけばけばしいしおまけにそれは歯痒い fact10: 全ては訪中しない fact11: すべての物は糾合しない ; $hypothesis$ = あの無頼は糾合しない ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 仮に何らかのものは債務者Ｂでないとしたら監査契約でない
事実2: 仮にあの情報・データは監査契約でないしさらに歯痒くないならば「あの閣僚は歯痒くない」ということは確かである
事実3: もし「あの閣僚は歯痒い」ということは成り立たないとすればあの無頼は糾合するしそれはけばけばしい
事実4: あの無頼は吸収され難くない
事実5: あらゆるものは脂っこくない
事実6: あの固形物は糾合しない
事実7: すべては報復でない
事実8: 仮にある物がけばけばしいならば日向灘でなくてそれは糾合するということはない
事実9: もしもとあるものが監査契約でないとしたらけばけばしいしおまけにそれは歯痒い
事実10: 全ては訪中しない
事実11: すべての物は糾合しない

仮説: あの無頼は糾合しない
1. 事実11から、仮説が導かれる

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