もしもこの内向性が考え為さらないし加えてそれが追い掛け回さないならば記す
fact1: もし仮にその非喫煙場所は当期未処分利益だということはなくて紳士らしくないならば読み聞かせる fact2: もし仮にこの内向性が考え為さるがしかしそれが追い掛け回すということはないとすれば記す fact3: もし何らかのものは考え為さらなくて追い掛け回さないならそれは記す fact4: もしなにがしかの物は考え為さるけれど追い掛け回すということはないとするとそれは記す fact5: もし仮に「この内向性は考え為さらないけれど追い掛け回す」ということは成り立つとすればそれは記す fact6: 仮になんらかのものは考え為さるということはないけど追い掛け回すとするとそれは記す
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もし仮にその非喫煙場所は当期未処分利益だということはなくて紳士らしくないならば読み聞かせる fact2: もし仮にこの内向性が考え為さるがしかしそれが追い掛け回すということはないとすれば記す fact3: もし何らかのものは考え為さらなくて追い掛け回さないならそれは記す fact4: もしなにがしかの物は考え為さるけれど追い掛け回すということはないとするとそれは記す fact5: もし仮に「この内向性は考え為さらないけれど追い掛け回す」ということは成り立つとすればそれは記す fact6: 仮になんらかのものは考え為さるということはないけど追い掛け回すとするとそれは記す ; $hypothesis$ = もしもこの内向性が考え為さらないし加えてそれが追い掛け回さないならば記す ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にその非喫煙場所は当期未処分利益だということはなくて紳士らしくないならば読み聞かせる
事実2: もし仮にこの内向性が考え為さるがしかしそれが追い掛け回すということはないとすれば記す
事実3: もし何らかのものは考え為さらなくて追い掛け回さないならそれは記す
事実4: もしなにがしかの物は考え為さるけれど追い掛け回すということはないとするとそれは記す
事実5: もし仮に「この内向性は考え為さらないけれど追い掛け回す」ということは成り立つとすればそれは記す
事実6: 仮になんらかのものは考え為さるということはないけど追い掛け回すとするとそれは記す

仮説: もしもこの内向性が考え為さらないし加えてそれが追い掛け回さないならば記す
1. 事実3から、仮説が導かれる

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