女の子らしいということが発生する
fact1: もし仮にぴえぴなLv.22事件は生じないとすれば「進み易いということが起きるしみなみちゃLv.83事件は生じない」ということは正しくない fact2: ぴえぴなLv.22事件および甘酸っぱいということどちらもが起きればものもゆLv.38事件は発生しない fact3: 「ものもゆLv.38事件は生じない」ということは女の子らしいということを防ぐ fact4: もしも「進み易いということが起こるしみなみちゃLv.83事件は起こらない」ということは誤っていれば進み易いということは起こらない fact5: 甘酸っぱいということが発生する fact6: ぷちゃぷちょLv.55事件とみにょみいLv.46事件両方ともが起きる fact7: ぴえぴなLv.22事件が発生するしみなみちゃLv.83事件が起きる
fact7 -> int1: ぴえぴなLv.22事件が起きる; int1 & fact5 -> int2: ぴえぴなLv.22事件と甘酸っぱいということが生じる; int2 & fact2 -> int3: ものもゆLv.38事件は起きない; int3 & fact3 -> hypothesis;
fact7 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> hypothesis;
進み易いということは生じない
$facts$ = fact1: もし仮にぴえぴなLv.22事件は生じないとすれば「進み易いということが起きるしみなみちゃLv.83事件は生じない」ということは正しくない fact2: ぴえぴなLv.22事件および甘酸っぱいということどちらもが起きればものもゆLv.38事件は発生しない fact3: 「ものもゆLv.38事件は生じない」ということは女の子らしいということを防ぐ fact4: もしも「進み易いということが起こるしみなみちゃLv.83事件は起こらない」ということは誤っていれば進み易いということは起こらない fact5: 甘酸っぱいということが発生する fact6: ぷちゃぷちょLv.55事件とみにょみいLv.46事件両方ともが起きる fact7: ぴえぴなLv.22事件が発生するしみなみちゃLv.83事件が起きる ; $hypothesis$ = 女の子らしいということが発生する ; $proof$ = 
fact7 -> int1: ぴえぴなLv.22事件が起きる; int1 & fact5 -> int2: ぴえぴなLv.22事件と甘酸っぱいということが生じる; int2 & fact2 -> int3: ものもゆLv.38事件は起きない; int3 & fact3 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact3 -> hypothesis; __DISPROVED__