「その性本能は垂直移動するししかもそれは着服する」ということは誤っている
fact1: もしもなにかは書き捲らないならば「植栽するししかもそれは上皮化する」ということは成り立つということはない fact2: もし「その性本能は高鳴りであるということはないしそれに痛ーいということはない」ということは成り立たないとしたらそれは着服する fact3: その性本能は上皮化するし垂直移動する fact4: 何もかもは書き捲らない fact5: 「その性本能は高鳴りであるということはなくてそれに痛ーくない」ということは成り立たない fact6: 仮に「その性本能は入れ易くなくて取り外せない」ということは間違いであるとすると痛ーい
fact2 & fact5 -> int1: 「その性本能は着服する」ということは事実だ; fact3 -> int2: その性本能は垂直移動する; int1 & int2 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; fact3 -> int2: {A}{a}; int1 & int2 -> hypothesis;
「その性本能は垂直移動するしそれにそれは着服する」ということは事実であるということはない
fact7 -> int3: もし仮にこのザワーブラーテンは書き捲らないとしたら「植栽するしおまけに上皮化する」ということは嘘だ; fact8 -> int4: このザワーブラーテンは書き捲るということはない; int3 & int4 -> int5: 「「このザワーブラーテンは植栽するし更にそれは上皮化する」ということは成り立つ」ということは偽である; int5 -> int6: それは植栽するしその上上皮化するという物はない; int6 -> int7: 「「この計算機は植栽するし更に上皮化する」ということは事実だ」ということは間違っている; int7 -> int8: 「「植栽するし上皮化する」ということは成り立たない」物はある;
$facts$ = fact1: もしもなにかは書き捲らないならば「植栽するししかもそれは上皮化する」ということは成り立つということはない fact2: もし「その性本能は高鳴りであるということはないしそれに痛ーいということはない」ということは成り立たないとしたらそれは着服する fact3: その性本能は上皮化するし垂直移動する fact4: 何もかもは書き捲らない fact5: 「その性本能は高鳴りであるということはなくてそれに痛ーくない」ということは成り立たない fact6: 仮に「その性本能は入れ易くなくて取り外せない」ということは間違いであるとすると痛ーい ; $hypothesis$ = 「その性本能は垂直移動するししかもそれは着服する」ということは誤っている ; $proof$ = 
fact2 & fact5 -> int1: 「その性本能は着服する」ということは事実だ; fact3 -> int2: その性本能は垂直移動する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにかは書き捲らないならば「植栽するししかもそれは上皮化する」ということは成り立つということはない
事実2: もし「その性本能は高鳴りであるということはないしそれに痛ーいということはない」ということは成り立たないとしたらそれは着服する
事実3: その性本能は上皮化するし垂直移動する
事実4: 何もかもは書き捲らない
事実5: 「その性本能は高鳴りであるということはなくてそれに痛ーくない」ということは成り立たない
事実6: 仮に「その性本能は入れ易くなくて取り外せない」ということは間違いであるとすると痛ーい

仮説: 「その性本能は垂直移動するししかもそれは着服する」ということは誤っている
1. 事実2と事実5から、推論1: "「その性本能は着服する」ということは事実だ"が導かれる
2. 事実3から、推論2: "その性本能は垂直移動する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。