このみよみちょLv.54は縮減する
fact1: 何らかのモンスターは物凄くない fact2: このみよみちょLv.54は詮無い fact3: もしもとあるモンスターは慰め合わないならば「それは詮無いしさらに縮減する」ということは誤りだ fact4: もしもこのみよみちょLv.54が気安いということはないなら縮減する fact5: 仮にこのみよみちょLv.54は慰め合うししかも詮無いとすると気安くない fact6: このみよみちょLv.54は慰め合う fact7: もし「あるモンスターは詮無くて更に縮減する」ということは成り立たないとすればそれは縮減しない fact8: 仮にあのみのみにゅLv.10が気安いとするとこのみよみちょLv.54は気安い
fact6 & fact2 -> int1: このみよみちょLv.54は慰め合うし加えてそれは詮無い; int1 & fact5 -> int2: このみよみちょLv.54は気安くない; int2 & fact4 -> hypothesis;
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis;
このみよみちょLv.54は縮減しない
fact12 -> int3: 「このみよみちょLv.54は詮無いしその上縮減する」ということは偽であるならこのみよみちょLv.54は縮減しない; fact11 -> int4: このみよみちょLv.54は慰め合わないとすれば「このみよみちょLv.54は詮無くてまた縮減する」ということは成り立たない;
$facts$ = fact1: 何らかのモンスターは物凄くない fact2: このみよみちょLv.54は詮無い fact3: もしもとあるモンスターは慰め合わないならば「それは詮無いしさらに縮減する」ということは誤りだ fact4: もしもこのみよみちょLv.54が気安いということはないなら縮減する fact5: 仮にこのみよみちょLv.54は慰め合うししかも詮無いとすると気安くない fact6: このみよみちょLv.54は慰め合う fact7: もし「あるモンスターは詮無くて更に縮減する」ということは成り立たないとすればそれは縮減しない fact8: 仮にあのみのみにゅLv.10が気安いとするとこのみよみちょLv.54は気安い ; $hypothesis$ = このみよみちょLv.54は縮減する ; $proof$ = 
fact6 & fact2 -> int1: このみよみちょLv.54は慰め合うし加えてそれは詮無い; int1 & fact5 -> int2: このみよみちょLv.54は気安くない; int2 & fact4 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact4 -> hypothesis; __PROVED__