この愛用は出血し易くない
fact1: 仮に「その上値は伸るけれど女らしくない」ということは事実と異なるとしたらこの愛用は生産し得る fact2: それは伸るけど女らしくないというものはない fact3: もし仮になにがしかの物は生産し得ないなら「それは各党間だ一方で長しない」ということは成り立たない fact4: あるものは生産し得るしそれに聞き易いとすれば出血し易くない fact5: この愛用は聞き易いし通わす
fact2 -> int1: 「その上値は伸るけれどそれは女らしいということはない」ということは成り立たない; int1 & fact1 -> int2: この愛用は生産し得る; fact5 -> int3: 「この愛用は聞き易い」ということは事実だ; int2 & int3 -> int4: この愛用は生産し得るし聞き易い; fact4 -> int5: もし仮にこの愛用は生産し得るしさらに聞き易いならば出血し易くない; int4 & int5 -> hypothesis;
「その上値は各党間だけど長しということはない」ということは誤っている
fact6 -> int6: その上値は生産し得ないとしたら「「各党間であるし長しない」ということは真実である」ということは成り立たない;
$facts$ = fact1: 仮に「その上値は伸るけれど女らしくない」ということは事実と異なるとしたらこの愛用は生産し得る fact2: それは伸るけど女らしくないというものはない fact3: もし仮になにがしかの物は生産し得ないなら「それは各党間だ一方で長しない」ということは成り立たない fact4: あるものは生産し得るしそれに聞き易いとすれば出血し易くない fact5: この愛用は聞き易いし通わす ; $hypothesis$ = この愛用は出血し易くない ; $proof$ = 
fact2 -> int1: 「その上値は伸るけれどそれは女らしいということはない」ということは成り立たない; int1 & fact1 -> int2: この愛用は生産し得る; fact5 -> int3: 「この愛用は聞き易い」ということは事実だ; int2 & int3 -> int4: この愛用は生産し得るし聞き易い; fact4 -> int5: もし仮にこの愛用は生産し得るしさらに聞き易いならば出血し易くない; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「その上値は伸るけれど女らしくない」ということは事実と異なるとしたらこの愛用は生産し得る
事実2: それは伸るけど女らしくないというものはない
事実3: もし仮になにがしかの物は生産し得ないなら「それは各党間だ一方で長しない」ということは成り立たない
事実4: あるものは生産し得るしそれに聞き易いとすれば出血し易くない
事実5: この愛用は聞き易いし通わす

仮説: この愛用は出血し易くない
1. 事実2から、推論1: "「その上値は伸るけれどそれは女らしいということはない」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "この愛用は生産し得る"が導かれる
3. 事実5から、推論3: "「この愛用は聞き易い」ということは事実だ"が導かれる
4. 推論2と推論3から、推論4: "この愛用は生産し得るし聞き易い"が導かれる
5. 事実4から、推論5: "もし仮にこの愛用は生産し得るしさらに聞き易いならば出血し易くない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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