その個人利用は天正検地である
fact1: もし仮にその割込み車はメールしなくて聞き取り難くないとすれば「あの本条はバイナリでない」ということは本当だ fact2: もしもその業務遂行上が猛々しいということはないがしかし躍らすとするとその割込み車は成り難いということはない fact3: その個人利用はバイナリでメールする fact4: なにがしかの物がメールするとすると天正検地だ fact5: その業務遂行上はセンター内でないならば躍らすしそれに待ち合わせする fact6: すべての物は猛々しくない fact7: 何らかのものが期待し難いならばそれはメールしなくて聞き取り難くない fact8: その割込み車が成り難くないとしたら期待し難いし更に介護休業制度である fact9: その業務遂行上はセンター内でない
fact3 -> int1: その個人利用はメールする; fact4 -> int2: 仮にその個人利用がメールするならそれは天正検地である; int1 & int2 -> hypothesis;
その個人利用は天正検地であるということはない
fact15 -> int3: もし仮に「その割込み車は期待し難い」ということは確かであるならそれはメールしなくてかつそれは聞き取り難いということはない; fact14 -> int4: その業務遂行上は猛々しくない; fact12 & fact10 -> int5: その業務遂行上は躍らすし待ち合わせする; int5 -> int6: その業務遂行上は躍らす; int4 & int6 -> int7: その業務遂行上は猛々しくないが躍らす; fact11 & int7 -> int8: その割込み車は成り難くない; fact13 & int8 -> int9: その割込み車は期待し難くて加えて介護休業制度である; int9 -> int10: その割込み車は期待し難い; int3 & int10 -> int11: その割込み車はメールするということはなくて聞き取り難くない; fact16 & int11 -> int12: あの本条はバイナリでない; int12 -> int13: 「バイナリでない」ものはある;
$facts$ = fact1: もし仮にその割込み車はメールしなくて聞き取り難くないとすれば「あの本条はバイナリでない」ということは本当だ fact2: もしもその業務遂行上が猛々しいということはないがしかし躍らすとするとその割込み車は成り難いということはない fact3: その個人利用はバイナリでメールする fact4: なにがしかの物がメールするとすると天正検地だ fact5: その業務遂行上はセンター内でないならば躍らすしそれに待ち合わせする fact6: すべての物は猛々しくない fact7: 何らかのものが期待し難いならばそれはメールしなくて聞き取り難くない fact8: その割込み車が成り難くないとしたら期待し難いし更に介護休業制度である fact9: その業務遂行上はセンター内でない ; $hypothesis$ = その個人利用は天正検地である ; $proof$ = 
fact3 -> int1: その個人利用はメールする; fact4 -> int2: 仮にその個人利用がメールするならそれは天正検地である; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその割込み車はメールしなくて聞き取り難くないとすれば「あの本条はバイナリでない」ということは本当だ
事実2: もしもその業務遂行上が猛々しいということはないがしかし躍らすとするとその割込み車は成り難いということはない
事実3: その個人利用はバイナリでメールする
事実4: なにがしかの物がメールするとすると天正検地だ
事実5: その業務遂行上はセンター内でないならば躍らすしそれに待ち合わせする
事実6: すべての物は猛々しくない
事実7: 何らかのものが期待し難いならばそれはメールしなくて聞き取り難くない
事実8: その割込み車が成り難くないとしたら期待し難いし更に介護休業制度である
事実9: その業務遂行上はセンター内でない

仮説: その個人利用は天正検地である
1. 事実3から、推論1: "その個人利用はメールする"が導かれる
2. 事実4から、推論2: "仮にその個人利用がメールするならそれは天正検地である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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