この一株当たり利益は程遠い
fact1: もしもこの一株当たり利益は連れ込まないとすると「程遠い」ということは成り立つ fact2: そのロカビリーは卒寿である fact3: もし仮に「そのロカビリーは案であるかもしくは煮過ぎるということはないかあるいは両方ともである」ということは真実でないとしたら卒寿だということはない fact4: もしも「そのロカビリーは二階外壁である」ということは偽でないとしたら「それは図々しかなくて連れ込む」ということは成り立たない fact5: もしも何らかの物は戻り為されば「それは連れ込まない」ということは正しい fact6: そのロカビリーは二階外壁だ fact7: そのロカビリーは藩医でないなら「百二十八メガバイト以上でない」ということは成り立つ fact8: もしも「なんらかの物は芽摘みしないか戻り為さるということはないかどちらもである」ということは事実であるとすれば戻り為さらない fact9: もしもそのロカビリーは百二十八メガバイト以上であるということはないとすれば「案であるかまたは煮過ぎないか両方ともである」ということは正しくない fact10: 「「そのロカビリーは図々しいということはないけれど連れ込む」ということは真実だ」ということは嘘であるならばそれは連れ込まない fact11: もしもそのロカビリーは卒寿だとすると「この一株当たり利益は戻り為さる」ということは成り立つ
fact11 & fact2 -> int1: この一株当たり利益は戻り為さる; fact5 -> int2: もしもこの一株当たり利益が戻り為さるならそれは連れ込まない; int1 & int2 -> int3: この一株当たり利益は連れ込まない; int3 & fact1 -> hypothesis;
この一株当たり利益は程遠くない
fact17 -> int4: もしそのロカビリーは芽摘みしないかまたは戻り為さるということはないかまたは両方だとすれば「それは戻り為さらない」ということは成り立つ; fact16 & fact14 -> int5: 「「そのロカビリーは図々しかないが連れ込む」ということは誤っている」ということは真実だ; fact18 & int5 -> int6: そのロカビリーは連れ込まない;
$facts$ = fact1: もしもこの一株当たり利益は連れ込まないとすると「程遠い」ということは成り立つ fact2: そのロカビリーは卒寿である fact3: もし仮に「そのロカビリーは案であるかもしくは煮過ぎるということはないかあるいは両方ともである」ということは真実でないとしたら卒寿だということはない fact4: もしも「そのロカビリーは二階外壁である」ということは偽でないとしたら「それは図々しかなくて連れ込む」ということは成り立たない fact5: もしも何らかの物は戻り為されば「それは連れ込まない」ということは正しい fact6: そのロカビリーは二階外壁だ fact7: そのロカビリーは藩医でないなら「百二十八メガバイト以上でない」ということは成り立つ fact8: もしも「なんらかの物は芽摘みしないか戻り為さるということはないかどちらもである」ということは事実であるとすれば戻り為さらない fact9: もしもそのロカビリーは百二十八メガバイト以上であるということはないとすれば「案であるかまたは煮過ぎないか両方ともである」ということは正しくない fact10: 「「そのロカビリーは図々しいということはないけれど連れ込む」ということは真実だ」ということは嘘であるならばそれは連れ込まない fact11: もしもそのロカビリーは卒寿だとすると「この一株当たり利益は戻り為さる」ということは成り立つ ; $hypothesis$ = この一株当たり利益は程遠い ; $proof$ = 
fact11 & fact2 -> int1: この一株当たり利益は戻り為さる; fact5 -> int2: もしもこの一株当たり利益が戻り為さるならそれは連れ込まない; int1 & int2 -> int3: この一株当たり利益は連れ込まない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしもこの一株当たり利益は連れ込まないとすると「程遠い」ということは成り立つ
事実2: そのロカビリーは卒寿である
事実3: もし仮に「そのロカビリーは案であるかもしくは煮過ぎるということはないかあるいは両方ともである」ということは真実でないとしたら卒寿だということはない
事実4: もしも「そのロカビリーは二階外壁である」ということは偽でないとしたら「それは図々しかなくて連れ込む」ということは成り立たない
事実5: もしも何らかの物は戻り為されば「それは連れ込まない」ということは正しい
事実6: そのロカビリーは二階外壁だ
事実7: そのロカビリーは藩医でないなら「百二十八メガバイト以上でない」ということは成り立つ
事実8: もしも「なんらかの物は芽摘みしないか戻り為さるということはないかどちらもである」ということは事実であるとすれば戻り為さらない
事実9: もしもそのロカビリーは百二十八メガバイト以上であるということはないとすれば「案であるかまたは煮過ぎないか両方ともである」ということは正しくない
事実10: 「「そのロカビリーは図々しいということはないけれど連れ込む」ということは真実だ」ということは嘘であるならばそれは連れ込まない
事実11: もしもそのロカビリーは卒寿だとすると「この一株当たり利益は戻り為さる」ということは成り立つ

仮説: この一株当たり利益は程遠い
1. 事実11と事実2から、推論1: "この一株当たり利益は戻り為さる"が導かれる
2. 事実5から、推論2: "もしもこの一株当たり利益が戻り為さるならそれは連れ込まない"が導かれる
3. 推論1と推論2から、推論3: "この一株当たり利益は連れ込まない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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