買い易いということが起こるし上がり易いということは発生しない
fact1: みちょみにょLv.66事件が起きる fact2: 格好良いということが生じる fact3: 隙間無いということは生じない fact4: 甚だしいということは起こらない fact5: 慕わしいということは起きないとしたら気高いということが起きるが軍人らしいということは発生しない fact6: みちょみにょLv.66事件および格好良いということ両方が発生すれば御手伝い出来ることは起こらない fact7: もえもにゃLv.11事件は起きない fact8: ぽゆぽにゃLv.25事件が起きる一方でぷよぷやLv.31事件は起きない fact9: 御手伝い出来ることは起きないとすれば買い易いということが起こるし上がり易いということは発生しない
fact1 & fact2 -> int1: みちょみにょLv.66事件が起こるしそれに格好良いということが発生する; int1 & fact6 -> int2: 御手伝い出来ることは起きない; int2 & fact9 -> hypothesis;
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact9 -> hypothesis;
$facts$ = fact1: みちょみにょLv.66事件が起きる fact2: 格好良いということが生じる fact3: 隙間無いということは生じない fact4: 甚だしいということは起こらない fact5: 慕わしいということは起きないとしたら気高いということが起きるが軍人らしいということは発生しない fact6: みちょみにょLv.66事件および格好良いということ両方が発生すれば御手伝い出来ることは起こらない fact7: もえもにゃLv.11事件は起きない fact8: ぽゆぽにゃLv.25事件が起きる一方でぷよぷやLv.31事件は起きない fact9: 御手伝い出来ることは起きないとすれば買い易いということが起こるし上がり易いということは発生しない ; $hypothesis$ = 買い易いということが起こるし上がり易いということは発生しない ; $proof$ = 
fact1 & fact2 -> int1: みちょみにょLv.66事件が起こるしそれに格好良いということが発生する; int1 & fact6 -> int2: 御手伝い出来ることは起きない; int2 & fact9 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact9 -> hypothesis; __PROVED__