あのまにゅまにLv.7は短縮出来ない
fact1: 「もし仮にあのみやみにLv.70が如何わしくないならあのみやみにLv.70は儚い」ということは真実である fact2: もしあのみやみにLv.70が儚いならあのまにゅまにLv.7は短縮出来る fact3: もしこのみくみやLv.92が換算するとするとあのみやみにLv.70は如何わしくない fact4: このみくみやLv.92は納得し難い fact5: もし仮にこのみくみやLv.92が換算するかあるいはペーパーレス化するかあるいはどちらもであるとすればあのみやみにLv.70は如何わしくない fact6: このみくみやLv.92は納得し難くてそれにペーパーレス化する
fact6 -> int1: このみくみやLv.92はペーパーレス化する; int1 -> int2: このみくみやLv.92は換算するかあるいはペーパーレス化する; int2 & fact5 -> int3: あのみやみにLv.70は如何わしくない; int3 & fact1 -> int4: あのみやみにLv.70は儚い; int4 & fact2 -> hypothesis;
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact5 -> int3: ¬{D}{b}; int3 & fact1 -> int4: {E}{b}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「もし仮にあのみやみにLv.70が如何わしくないならあのみやみにLv.70は儚い」ということは真実である fact2: もしあのみやみにLv.70が儚いならあのまにゅまにLv.7は短縮出来る fact3: もしこのみくみやLv.92が換算するとするとあのみやみにLv.70は如何わしくない fact4: このみくみやLv.92は納得し難い fact5: もし仮にこのみくみやLv.92が換算するかあるいはペーパーレス化するかあるいはどちらもであるとすればあのみやみにLv.70は如何わしくない fact6: このみくみやLv.92は納得し難くてそれにペーパーレス化する ; $hypothesis$ = あのまにゅまにLv.7は短縮出来ない ; $proof$ = 
fact6 -> int1: このみくみやLv.92はペーパーレス化する; int1 -> int2: このみくみやLv.92は換算するかあるいはペーパーレス化する; int2 & fact5 -> int3: あのみやみにLv.70は如何わしくない; int3 & fact1 -> int4: あのみやみにLv.70は儚い; int4 & fact2 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact5 -> int3: ¬{D}{b}; int3 & fact1 -> int4: {E}{b}; int4 & fact2 -> hypothesis; __DISPROVED__