「このもいもゆLv.83は折り重なる」ということは成り立つ
fact1: もしもあのまにゃまやLv.69が京都らしくないならばそのみなみゆLv.1は下ろし易くてそれに勝ち易い fact2: もし仮にこのもいもゆLv.83が小憎らしくないけど折り重なればこのもいもゆLv.83は湿気易くない fact3: もし仮にそのみなみゆLv.1が下ろし易いならこのまねまくLv.91は下ろし易い fact4: もし注意深いモンスターは湿気易いならば「そのみなみゆLv.1は勝ち易くない」ということは本当である fact5: もし仮になにがしかのモンスターが注意深いとすれば折り重なる fact6: このまねまくLv.91は注意深い fact7: もし仮にこのもいもゆLv.83が湿気易くないならばこのまねまくLv.91は香ばしいし注意深い fact8: このまねまくLv.91は湿気易い fact9: そのみなみゆLv.1が勝ち易くないとするとこのもいもゆLv.83は折り重ならない
fact6 & fact8 -> int1: このまねまくLv.91は注意深くて湿気易い; int1 -> int2: 「注意深いしまた湿気易い」モンスターはいる; int2 & fact4 -> int3: そのみなみゆLv.1は勝ち易くない; int3 & fact9 -> hypothesis;
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> int3: ¬{C}{b}; int3 & fact9 -> hypothesis;
「このもいもゆLv.83は折り重なる」ということは成り立つ
fact10 -> int4: もし仮にこのもいもゆLv.83が注意深いならそれは折り重なる;
$facts$ = fact1: もしもあのまにゃまやLv.69が京都らしくないならばそのみなみゆLv.1は下ろし易くてそれに勝ち易い fact2: もし仮にこのもいもゆLv.83が小憎らしくないけど折り重なればこのもいもゆLv.83は湿気易くない fact3: もし仮にそのみなみゆLv.1が下ろし易いならこのまねまくLv.91は下ろし易い fact4: もし注意深いモンスターは湿気易いならば「そのみなみゆLv.1は勝ち易くない」ということは本当である fact5: もし仮になにがしかのモンスターが注意深いとすれば折り重なる fact6: このまねまくLv.91は注意深い fact7: もし仮にこのもいもゆLv.83が湿気易くないならばこのまねまくLv.91は香ばしいし注意深い fact8: このまねまくLv.91は湿気易い fact9: そのみなみゆLv.1が勝ち易くないとするとこのもいもゆLv.83は折り重ならない ; $hypothesis$ = 「このもいもゆLv.83は折り重なる」ということは成り立つ ; $proof$ = 
fact6 & fact8 -> int1: このまねまくLv.91は注意深くて湿気易い; int1 -> int2: 「注意深いしまた湿気易い」モンスターはいる; int2 & fact4 -> int3: そのみなみゆLv.1は勝ち易くない; int3 & fact9 -> hypothesis; __DISPROVED__
fact6 & fact8 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> int3: ¬{C}{b}; int3 & fact9 -> hypothesis; __DISPROVED__