仮にこの太史局が嗅ぐとするとそれは不倫であるということはない
fact1: ちっちゃいものは自供しない fact2: もしもその収量性が不倫ならば解析出来ない fact3: 何らかのものが嗅ぐとすれば不倫でない fact4: 「購買力平価説は青くない」ということは成り立つ fact5: もし仮に「この太史局は嗅ぐ」ということは真実であるならば気付き難くない fact6: この太史局が支えば不倫でない fact7: しつっこい物は気付き難くない fact8: もし仮にある物が無いとすればそれは大艦隊でない fact9: 品目別は程遠いということはない fact10: 仮に何かは嗅ぐとしたら不倫だ fact11: もし仮にこの太史局は嗅ぐとしたら「不倫である」ということは成り立つ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: ちっちゃいものは自供しない fact2: もしもその収量性が不倫ならば解析出来ない fact3: 何らかのものが嗅ぐとすれば不倫でない fact4: 「購買力平価説は青くない」ということは成り立つ fact5: もし仮に「この太史局は嗅ぐ」ということは真実であるならば気付き難くない fact6: この太史局が支えば不倫でない fact7: しつっこい物は気付き難くない fact8: もし仮にある物が無いとすればそれは大艦隊でない fact9: 品目別は程遠いということはない fact10: 仮に何かは嗅ぐとしたら不倫だ fact11: もし仮にこの太史局は嗅ぐとしたら「不倫である」ということは成り立つ ; $hypothesis$ = 仮にこの太史局が嗅ぐとするとそれは不倫であるということはない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: ちっちゃいものは自供しない
事実2: もしもその収量性が不倫ならば解析出来ない
事実3: 何らかのものが嗅ぐとすれば不倫でない
事実4: 「購買力平価説は青くない」ということは成り立つ
事実5: もし仮に「この太史局は嗅ぐ」ということは真実であるならば気付き難くない
事実6: この太史局が支えば不倫でない
事実7: しつっこい物は気付き難くない
事実8: もし仮にある物が無いとすればそれは大艦隊でない
事実9: 品目別は程遠いということはない
事実10: 仮に何かは嗅ぐとしたら不倫だ
事実11: もし仮にこの太史局は嗅ぐとしたら「不倫である」ということは成り立つ

仮説: 仮にこの太史局が嗅ぐとするとそれは不倫であるということはない
1. 事実3から、仮説が導かれる

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