その平凡はソレであるし専属する
fact1: その平凡は専属する fact2: もし何かはメール・アドレスであるとすると「それは行き難くないがしかし世知辛い」ということは嘘である fact3: もし仮にあの御決断が降雨量ならメール・アドレスである fact4: 「その平凡はソレである」ということは間違っているということはない fact5: あの中産はソレである fact6: この成熟リンパ球は専属する
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
「その平凡はソレであるし更に専属する」ということは事実と異なる
fact8 -> int1: もし仮にあの御決断はメール・アドレスであるなら「それは行き難くないしかつ世知辛い」ということは成り立たない;
$facts$ = fact1: その平凡は専属する fact2: もし何かはメール・アドレスであるとすると「それは行き難くないがしかし世知辛い」ということは嘘である fact3: もし仮にあの御決断が降雨量ならメール・アドレスである fact4: 「その平凡はソレである」ということは間違っているということはない fact5: あの中産はソレである fact6: この成熟リンパ球は専属する ; $hypothesis$ = その平凡はソレであるし専属する ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: その平凡は専属する
事実2: もし何かはメール・アドレスであるとすると「それは行き難くないがしかし世知辛い」ということは嘘である
事実3: もし仮にあの御決断が降雨量ならメール・アドレスである
事実4: 「その平凡はソレである」ということは間違っているということはない
事実5: あの中産はソレである
事実6: この成熟リンパ球は専属する

仮説: その平凡はソレであるし専属する
1. 事実4と事実1から、仮説が導かれる

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