「その行動様式は咲き出すけれど艶っぽくない」ということは成り立たないとするとそのゴム製は惨めったらしいということはない
fact1: 「「その行動様式は咲き出すし艶っぽい」ということは事実と異なる」ということは事実である fact2: もし「「咲き出す一方で艶っぽくない」ということは誤っている」物があるとすればそのゴム製は惨めったらしくない fact3: その行動様式は指摘すらない fact4: 「「「咲き出すし艶っぽい」ということは確かだ」ということは事実と異なる」ものはある fact5: なにかは撥ね除ければ「養えるけれど惨めったらしくない」ということは偽である fact6: 「咲き出さない」ものはある fact7: その行動様式は咲き出すということはない fact8: その行動様式は艶っぽい fact9: あの二千十年頃は咲き出さない fact10: もし仮にそのゴム製が試飲しないとしたら息苦しくて自己弁護だ
void -> assump1: 以下のように仮定する。「その行動様式は咲き出す一方で艶っぽくない」ということは間違いである; assump1 -> int1: 「「咲き出すがしかし艶っぽいということはない」ということは事実と異なる」物はある; int1 & fact2 -> int2: 「そのゴム製は惨めったらしくない」ということは本当である; [assump1] & int2 -> hypothesis;
「この膝丈ズボンは養えるけれど惨めったらしいということはない」ということは成り立つということはない
fact12 -> int3: もしもこの膝丈ズボンは撥ね除けるとすると「それは養えるし惨めったらしくない」ということは間違いである;
$facts$ = fact1: 「「その行動様式は咲き出すし艶っぽい」ということは事実と異なる」ということは事実である fact2: もし「「咲き出す一方で艶っぽくない」ということは誤っている」物があるとすればそのゴム製は惨めったらしくない fact3: その行動様式は指摘すらない fact4: 「「「咲き出すし艶っぽい」ということは確かだ」ということは事実と異なる」ものはある fact5: なにかは撥ね除ければ「養えるけれど惨めったらしくない」ということは偽である fact6: 「咲き出さない」ものはある fact7: その行動様式は咲き出すということはない fact8: その行動様式は艶っぽい fact9: あの二千十年頃は咲き出さない fact10: もし仮にそのゴム製が試飲しないとしたら息苦しくて自己弁護だ ; $hypothesis$ = 「その行動様式は咲き出すけれど艶っぽくない」ということは成り立たないとするとそのゴム製は惨めったらしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その行動様式は咲き出す一方で艶っぽくない」ということは間違いである; assump1 -> int1: 「「咲き出すがしかし艶っぽいということはない」ということは事実と異なる」物はある; int1 & fact2 -> int2: 「そのゴム製は惨めったらしくない」ということは本当である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「「その行動様式は咲き出すし艶っぽい」ということは事実と異なる」ということは事実である
事実2: もし「「咲き出す一方で艶っぽくない」ということは誤っている」物があるとすればそのゴム製は惨めったらしくない
事実3: その行動様式は指摘すらない
事実4: 「「「咲き出すし艶っぽい」ということは確かだ」ということは事実と異なる」ものはある
事実5: なにかは撥ね除ければ「養えるけれど惨めったらしくない」ということは偽である
事実6: 「咲き出さない」ものはある
事実7: その行動様式は咲き出すということはない
事実8: その行動様式は艶っぽい
事実9: あの二千十年頃は咲き出さない
事実10: もし仮にそのゴム製が試飲しないとしたら息苦しくて自己弁護だ

仮説: 「その行動様式は咲き出すけれど艶っぽくない」ということは成り立たないとするとそのゴム製は惨めったらしいということはない
1. 仮定1: 以下のように仮定する。「その行動様式は咲き出す一方で艶っぽくない」ということは間違いである
2. 仮定1から、推論1: "「「咲き出すがしかし艶っぽいということはない」ということは事実と異なる」物はある"が導かれる
3. 推論1と事実2から、推論2: "「そのゴム製は惨めったらしくない」ということは本当である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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