あのぴねぴちゅLv.93は開明しない
fact1: このみのみわLv.75は苛々し易い fact2: 変わり易いモンスターは苛々し易い fact3: もしもこのみのみわLv.75が変わり易くないならばあのぴねぴちゅLv.93は開明するしさらに苛々し易い fact4: 仮にこのみのみわLv.75が苛々し易いならあのぴいぴにLv.35は変わり易い fact5: あのぴねぴちゅLv.93が苛々し易いとしたらこのみのみわLv.75は開明する fact6: あのぴいぴにLv.35は差し立てる fact7: もしあのぴいぴにLv.35が甚だしないとすればこのみのみわLv.75は変わり易くなくてまた差し立てない fact8: 仮に「このみのみわLv.75は差し立てる」ということは正しいとしたらこのぷくぷわLv.54は差し立てる fact9: 仮にあのぴいぴにLv.35が変わり易いし差し立てればあのぴねぴちゅLv.93は開明するということはない
fact4 & fact1 -> int1: あのぴいぴにLv.35は変わり易い; int1 & fact6 -> int2: あのぴいぴにLv.35は変わり易いしさらに差し立てる; int2 & fact9 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact9 -> hypothesis;
このぷくぷわLv.54は苛々し易い
fact10 -> int3: もし仮に「このぷくぷわLv.54は変わり易い」ということは確かならこのぷくぷわLv.54は苛々し易い;
$facts$ = fact1: このみのみわLv.75は苛々し易い fact2: 変わり易いモンスターは苛々し易い fact3: もしもこのみのみわLv.75が変わり易くないならばあのぴねぴちゅLv.93は開明するしさらに苛々し易い fact4: 仮にこのみのみわLv.75が苛々し易いならあのぴいぴにLv.35は変わり易い fact5: あのぴねぴちゅLv.93が苛々し易いとしたらこのみのみわLv.75は開明する fact6: あのぴいぴにLv.35は差し立てる fact7: もしあのぴいぴにLv.35が甚だしないとすればこのみのみわLv.75は変わり易くなくてまた差し立てない fact8: 仮に「このみのみわLv.75は差し立てる」ということは正しいとしたらこのぷくぷわLv.54は差し立てる fact9: 仮にあのぴいぴにLv.35が変わり易いし差し立てればあのぴねぴちゅLv.93は開明するということはない ; $hypothesis$ = あのぴねぴちゅLv.93は開明しない ; $proof$ = 
fact4 & fact1 -> int1: あのぴいぴにLv.35は変わり易い; int1 & fact6 -> int2: あのぴいぴにLv.35は変わり易いしさらに差し立てる; int2 & fact9 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact9 -> hypothesis; __PROVED__