あの電子商取り引きはしかつめらしくない
fact1: もし「なにかは中止出来ない一方で率いる」ということは本当だとしたらしかつめらしい fact2: 「そのばらつきは率いない」ということは成り立つ fact3: 「あの電子商取り引きは大人っぽいし休まる」ということは成り立たない fact4: もし仮にその社歴がしかつめらしいとするとあの電子商取り引きはしかつめらしくない fact5: 「とあるものは大人っぽいけれど休まらない」ということは成り立たないとしたらしかつめらしい fact6: もしある物は意地悪くないなら「もげるが示し易くない」ということは成り立たない fact7: もしあの電子商取り引きは率いないとすると「それは大人っぽいし更にそれは休まらない」ということは嘘だ fact8: 「その急性体表損傷は中止出来るししかも忘れ難い」ということは成り立たない fact9: あの電子商取り引きは率いないとすれば「大人っぽくて休まる」ということは成り立たない fact10: 「あの電子商取り引きは率いない」ということは成り立つ
fact5 -> int1: 仮に「あの電子商取り引きは大人っぽいけど休まらない」ということは間違いであるとしたらしかつめらしい; fact10 & fact7 -> int2: 「あの電子商取り引きは大人っぽいけれど休まらない」ということは誤りである; int1 & int2 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact10 & fact7 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの電子商取り引きはしかつめらしいということはない
fact12 -> int3: その社歴が中止出来ないがそれが率いるならしかつめらしい; fact13 -> int4: 「「中止出来るしその上忘れ難い」ということは誤りな」ものはある;
$facts$ = fact1: もし「なにかは中止出来ない一方で率いる」ということは本当だとしたらしかつめらしい fact2: 「そのばらつきは率いない」ということは成り立つ fact3: 「あの電子商取り引きは大人っぽいし休まる」ということは成り立たない fact4: もし仮にその社歴がしかつめらしいとするとあの電子商取り引きはしかつめらしくない fact5: 「とあるものは大人っぽいけれど休まらない」ということは成り立たないとしたらしかつめらしい fact6: もしある物は意地悪くないなら「もげるが示し易くない」ということは成り立たない fact7: もしあの電子商取り引きは率いないとすると「それは大人っぽいし更にそれは休まらない」ということは嘘だ fact8: 「その急性体表損傷は中止出来るししかも忘れ難い」ということは成り立たない fact9: あの電子商取り引きは率いないとすれば「大人っぽくて休まる」ということは成り立たない fact10: 「あの電子商取り引きは率いない」ということは成り立つ ; $hypothesis$ = あの電子商取り引きはしかつめらしくない ; $proof$ = 
fact5 -> int1: 仮に「あの電子商取り引きは大人っぽいけど休まらない」ということは間違いであるとしたらしかつめらしい; fact10 & fact7 -> int2: 「あの電子商取り引きは大人っぽいけれど休まらない」ということは誤りである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「なにかは中止出来ない一方で率いる」ということは本当だとしたらしかつめらしい
事実2: 「そのばらつきは率いない」ということは成り立つ
事実3: 「あの電子商取り引きは大人っぽいし休まる」ということは成り立たない
事実4: もし仮にその社歴がしかつめらしいとするとあの電子商取り引きはしかつめらしくない
事実5: 「とあるものは大人っぽいけれど休まらない」ということは成り立たないとしたらしかつめらしい
事実6: もしある物は意地悪くないなら「もげるが示し易くない」ということは成り立たない
事実7: もしあの電子商取り引きは率いないとすると「それは大人っぽいし更にそれは休まらない」ということは嘘だ
事実8: 「その急性体表損傷は中止出来るししかも忘れ難い」ということは成り立たない
事実9: あの電子商取り引きは率いないとすれば「大人っぽくて休まる」ということは成り立たない
事実10: 「あの電子商取り引きは率いない」ということは成り立つ

仮説: あの電子商取り引きはしかつめらしくない
1. 事実5から、推論1: "仮に「あの電子商取り引きは大人っぽいけど休まらない」ということは間違いであるとしたらしかつめらしい"が導かれる
2. 事実10と事実7から、推論2: "「あの電子商取り引きは大人っぽいけれど休まらない」ということは誤りである"が導かれる
3. 推論1と推論2から、仮説が否定される

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