あの決め線は暗示する
fact1: 「「充血するけれど通じ合わない」ということは事実でない」物があるとするとそのハイハーバーは充血しない fact2: 「そのハイハーバーは遜色無いかもしくはそれは暗示しない」ということは誤りだとするとあの決め線は充血する fact3: この観音像はこっ酷くないし配当落ちでない fact4: 仮にあの決め線が充血するとすれば暗示する fact5: このワンテンポは暗示する fact6: 「あの決め線は配当落ちだ」ということは成り立てば「そのハイハーバーはこっ酷いがしかし通じ合うということはない」ということは成り立たない fact7: 飽きっぽくない物は充血するかもしくは暗示しない fact8: もしも「そのハイハーバーは遜色無いかもしくは御付き合い出来ないか両方だ」ということは成り立たないとしたらあの決め線は充血する fact9: 「そのハイハーバーは遜色無いかあるいはそれは御付き合い出来ないか両方ともである」ということは成り立つということはない fact10: もし「「そのハイハーバーはこっ酷いけれど通じ合わない」ということは成り立たない」ということは確かだとすると「あの受容体型チロシンキナーゼは飽きっぽくない」ということは成り立つ fact11: もしも「「そのハイハーバーは遜色無いかもしくは御付き合い出来るかまたは両方ともだ」ということは事実である」ということは成り立たないとするとあの決め線は充血する fact12: もし「何らかの物は飽きっぽいし充血する」ということは成り立たないなら暗示しない fact13: もし仮になにがしかの物はこっ酷くないなら「充血するけれど通じ合わない」ということは成り立たない
fact8 & fact9 -> int1: あの決め線は充血する; int1 & fact4 -> hypothesis;
あの受容体型チロシンキナーゼは充血する
fact16 -> int2: あの受容体型チロシンキナーゼが飽きっぽくないとすれば充血するかもしくは暗示しない;
$facts$ = fact1: 「「充血するけれど通じ合わない」ということは事実でない」物があるとするとそのハイハーバーは充血しない fact2: 「そのハイハーバーは遜色無いかもしくはそれは暗示しない」ということは誤りだとするとあの決め線は充血する fact3: この観音像はこっ酷くないし配当落ちでない fact4: 仮にあの決め線が充血するとすれば暗示する fact5: このワンテンポは暗示する fact6: 「あの決め線は配当落ちだ」ということは成り立てば「そのハイハーバーはこっ酷いがしかし通じ合うということはない」ということは成り立たない fact7: 飽きっぽくない物は充血するかもしくは暗示しない fact8: もしも「そのハイハーバーは遜色無いかもしくは御付き合い出来ないか両方だ」ということは成り立たないとしたらあの決め線は充血する fact9: 「そのハイハーバーは遜色無いかあるいはそれは御付き合い出来ないか両方ともである」ということは成り立つということはない fact10: もし「「そのハイハーバーはこっ酷いけれど通じ合わない」ということは成り立たない」ということは確かだとすると「あの受容体型チロシンキナーゼは飽きっぽくない」ということは成り立つ fact11: もしも「「そのハイハーバーは遜色無いかもしくは御付き合い出来るかまたは両方ともだ」ということは事実である」ということは成り立たないとするとあの決め線は充血する fact12: もし「何らかの物は飽きっぽいし充血する」ということは成り立たないなら暗示しない fact13: もし仮になにがしかの物はこっ酷くないなら「充血するけれど通じ合わない」ということは成り立たない ; $hypothesis$ = あの決め線は暗示する ; $proof$ = 
fact8 & fact9 -> int1: あの決め線は充血する; int1 & fact4 -> hypothesis; __PROVED__
事実1: 「「充血するけれど通じ合わない」ということは事実でない」物があるとするとそのハイハーバーは充血しない
事実2: 「そのハイハーバーは遜色無いかもしくはそれは暗示しない」ということは誤りだとするとあの決め線は充血する
事実3: この観音像はこっ酷くないし配当落ちでない
事実4: 仮にあの決め線が充血するとすれば暗示する
事実5: このワンテンポは暗示する
事実6: 「あの決め線は配当落ちだ」ということは成り立てば「そのハイハーバーはこっ酷いがしかし通じ合うということはない」ということは成り立たない
事実7: 飽きっぽくない物は充血するかもしくは暗示しない
事実8: もしも「そのハイハーバーは遜色無いかもしくは御付き合い出来ないか両方だ」ということは成り立たないとしたらあの決め線は充血する
事実9: 「そのハイハーバーは遜色無いかあるいはそれは御付き合い出来ないか両方ともである」ということは成り立つということはない
事実10: もし「「そのハイハーバーはこっ酷いけれど通じ合わない」ということは成り立たない」ということは確かだとすると「あの受容体型チロシンキナーゼは飽きっぽくない」ということは成り立つ
事実11: もしも「「そのハイハーバーは遜色無いかもしくは御付き合い出来るかまたは両方ともだ」ということは事実である」ということは成り立たないとするとあの決め線は充血する
事実12: もし「何らかの物は飽きっぽいし充血する」ということは成り立たないなら暗示しない
事実13: もし仮になにがしかの物はこっ酷くないなら「充血するけれど通じ合わない」ということは成り立たない

仮説: あの決め線は暗示する
1. 事実8と事実9から、推論1: "あの決め線は充血する"が導かれる
2. 推論1と事実4から、仮説が導かれる

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