立ち得ることは発生しない
fact1: 泣き騒ぐことおよびみにゅみちゃLv.48事件が生じるは「立ち得ることは生じない」ということを引き起こす fact2: 泣き騒ぐことが発生するし加えて勾引することが起こる fact3: もし仮に勾引することは起こらないならぷのぷちゃLv.0事件ではなくて泣き騒ぐことが起こる fact4: もし仮に勾引することが発生しないなら立ち得ることが生じるし泣き騒ぐことは発生する fact5: みにゅみちゃLv.48事件が起きる
fact2 -> int1: 泣き騒ぐことが起きる; int1 & fact5 -> int2: 泣き騒ぐこととみにゅみちゃLv.48事件が生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
ぷのぷちゃLv.0事件は起きない
$facts$ = fact1: 泣き騒ぐことおよびみにゅみちゃLv.48事件が生じるは「立ち得ることは生じない」ということを引き起こす fact2: 泣き騒ぐことが発生するし加えて勾引することが起こる fact3: もし仮に勾引することは起こらないならぷのぷちゃLv.0事件ではなくて泣き騒ぐことが起こる fact4: もし仮に勾引することが発生しないなら立ち得ることが生じるし泣き騒ぐことは発生する fact5: みにゅみちゃLv.48事件が起きる ; $hypothesis$ = 立ち得ることは発生しない ; $proof$ = 
fact2 -> int1: 泣き騒ぐことが起きる; int1 & fact5 -> int2: 泣き騒ぐこととみにゅみちゃLv.48事件が生じる; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __PROVED__