ぴえぴにLv.51事件は発生しない
fact1: 「ぴえぴにLv.51事件は起きない」ということは「みゆみにょLv.32事件およびもやもえLv.34事件が生じるは成り立つ」ということがきっかけだ fact2: 退屈し切ることが発生しないか上り詰めることは起きないかもしくは両方だ fact3: まわまゆLv.12事件およびぴえぴにLv.51事件が起きるは口汚いということは生じないということが契機である fact4: 「成り難いということは発生しない」ということは「みゆみにょLv.32事件は起こらない」ということを回避する fact5: 「口汚いということおよびまわまゆLv.12事件両方が起きる」ということは本当だ fact6: 仮に口汚いということは生じないとすれば「まわまゆLv.12事件が起こるけどもやもえLv.34事件は起こらない」ということは成り立たない fact7: 口汚いということおよびまわまゆLv.12事件が発生するは「成り難いということは起きない」ということを招く fact8: もやもえLv.34事件が生じる
fact5 & fact7 -> int1: 成り難いということは生じない; fact4 & int1 -> int2: みゆみにょLv.32事件が起きる; int2 & fact8 -> int3: みゆみにょLv.32事件ともやもえLv.34事件両方が起きる; int3 & fact1 -> hypothesis;
fact5 & fact7 -> int1: ¬{A}; fact4 & int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
田舎臭いということは起きない
$facts$ = fact1: 「ぴえぴにLv.51事件は起きない」ということは「みゆみにょLv.32事件およびもやもえLv.34事件が生じるは成り立つ」ということがきっかけだ fact2: 退屈し切ることが発生しないか上り詰めることは起きないかもしくは両方だ fact3: まわまゆLv.12事件およびぴえぴにLv.51事件が起きるは口汚いということは生じないということが契機である fact4: 「成り難いということは発生しない」ということは「みゆみにょLv.32事件は起こらない」ということを回避する fact5: 「口汚いということおよびまわまゆLv.12事件両方が起きる」ということは本当だ fact6: 仮に口汚いということは生じないとすれば「まわまゆLv.12事件が起こるけどもやもえLv.34事件は起こらない」ということは成り立たない fact7: 口汚いということおよびまわまゆLv.12事件が発生するは「成り難いということは起きない」ということを招く fact8: もやもえLv.34事件が生じる ; $hypothesis$ = ぴえぴにLv.51事件は発生しない ; $proof$ = 
fact5 & fact7 -> int1: 成り難いということは生じない; fact4 & int1 -> int2: みゆみにょLv.32事件が起きる; int2 & fact8 -> int3: みゆみにょLv.32事件ともやもえLv.34事件両方が起きる; int3 & fact1 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ¬{A}; fact4 & int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __PROVED__