あのもなもえLv.82は滞り易い
fact1: このまちゅまゆLv.62は可笑し fact2: 仮にこのまちゅまゆLv.62が滞り易くないがそれが分離すとするとあのもなもえLv.82は浮き易い fact3: あのもなもえLv.82は浮き易いということはないが若し fact4: このまちゅまゆLv.62は喋り難くない fact5: もし仮にこのまちゅまゆLv.62が喋り難くない一方でそれが浮き易いならばあのもなもえLv.82は分離す fact6: もしもあのもなもえLv.82が分離すとしたらあのもなもえLv.82は滞り易い fact7: もし「何らかのモンスターは滞り易いし喋り難い」ということは間違いならば滞り易くない fact8: このまちゅまゆLv.62は浮き易い
fact4 & fact8 -> int1: 「このまちゅまゆLv.62は喋り難いということはないがそれは浮き易い」ということは本当である; int1 & fact5 -> int2: あのもなもえLv.82は分離す; int2 & fact6 -> hypothesis;
fact4 & fact8 -> int1: (¬{A}{a} & {B}{a}); int1 & fact5 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
あのもなもえLv.82は滞り易くない
fact9 -> int3: 仮に「あのもなもえLv.82は滞り易いしおまけに喋り難い」ということは成り立たないとすればそれは滞り易くない;
$facts$ = fact1: このまちゅまゆLv.62は可笑し fact2: 仮にこのまちゅまゆLv.62が滞り易くないがそれが分離すとするとあのもなもえLv.82は浮き易い fact3: あのもなもえLv.82は浮き易いということはないが若し fact4: このまちゅまゆLv.62は喋り難くない fact5: もし仮にこのまちゅまゆLv.62が喋り難くない一方でそれが浮き易いならばあのもなもえLv.82は分離す fact6: もしもあのもなもえLv.82が分離すとしたらあのもなもえLv.82は滞り易い fact7: もし「何らかのモンスターは滞り易いし喋り難い」ということは間違いならば滞り易くない fact8: このまちゅまゆLv.62は浮き易い ; $hypothesis$ = あのもなもえLv.82は滞り易い ; $proof$ = 
fact4 & fact8 -> int1: 「このまちゅまゆLv.62は喋り難いということはないがそれは浮き易い」ということは本当である; int1 & fact5 -> int2: あのもなもえLv.82は分離す; int2 & fact6 -> hypothesis; __PROVED__
fact4 & fact8 -> int1: (¬{A}{a} & {B}{a}); int1 & fact5 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__