「「若し」ということは確かである」ものはある
fact1: 仮にその中小都市がでっかくないとすればその慕情は再灌流するということはないかそれは迫り来ない fact2: もし仮に「その露光時間は出来難くてそれにそれは法律関係だ」ということは成り立つということはないとすればその中小都市はでっかくない fact3: もしその慕情が再灌流しないかあるいは迫り来ないかあるいはどちらもならばこの遺伝子産物は見分け難い fact4: 仮にこの遺伝子産物が見分け難いとしたらそれは若し fact5: 仮にその慕情が迫り来ないとすればこの遺伝子産物は見分け難い fact6: 「その露光時間は出来難いししかも法律関係である」ということは成り立たない
fact2 & fact6 -> int1: 「その中小都市はでっかくない」ということは成り立つ; int1 & fact1 -> int2: その慕情は再灌流しないかもしくは迫り来ないかまたは両方ともである; int2 & fact3 -> int3: この遺伝子産物は見分け難い; int3 & fact4 -> int4: 「この遺伝子産物は若し」ということは本当である; int4 -> hypothesis;
$facts$ = fact1: 仮にその中小都市がでっかくないとすればその慕情は再灌流するということはないかそれは迫り来ない fact2: もし仮に「その露光時間は出来難くてそれにそれは法律関係だ」ということは成り立つということはないとすればその中小都市はでっかくない fact3: もしその慕情が再灌流しないかあるいは迫り来ないかあるいはどちらもならばこの遺伝子産物は見分け難い fact4: 仮にこの遺伝子産物が見分け難いとしたらそれは若し fact5: 仮にその慕情が迫り来ないとすればこの遺伝子産物は見分け難い fact6: 「その露光時間は出来難いししかも法律関係である」ということは成り立たない ; $hypothesis$ = 「「若し」ということは確かである」ものはある ; $proof$ = 
fact2 & fact6 -> int1: 「その中小都市はでっかくない」ということは成り立つ; int1 & fact1 -> int2: その慕情は再灌流しないかもしくは迫り来ないかまたは両方ともである; int2 & fact3 -> int3: この遺伝子産物は見分け難い; int3 & fact4 -> int4: 「この遺伝子産物は若し」ということは本当である; int4 -> hypothesis; __PROVED__
事実1: 仮にその中小都市がでっかくないとすればその慕情は再灌流するということはないかそれは迫り来ない
事実2: もし仮に「その露光時間は出来難くてそれにそれは法律関係だ」ということは成り立つということはないとすればその中小都市はでっかくない
事実3: もしその慕情が再灌流しないかあるいは迫り来ないかあるいはどちらもならばこの遺伝子産物は見分け難い
事実4: 仮にこの遺伝子産物が見分け難いとしたらそれは若し
事実5: 仮にその慕情が迫り来ないとすればこの遺伝子産物は見分け難い
事実6: 「その露光時間は出来難いししかも法律関係である」ということは成り立たない

仮説: 「「若し」ということは確かである」ものはある
1. 事実2と事実6から、推論1: "「その中小都市はでっかくない」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "その慕情は再灌流しないかもしくは迫り来ないかまたは両方ともである"が導かれる
3. 推論2と事実3から、推論3: "この遺伝子産物は見分け難い"が導かれる
4. 推論3と事実4から、推論4: "「この遺伝子産物は若し」ということは本当である"が導かれる
5. 推論4から、仮説が導かれる

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