女の子らしいということが起きる
fact1: 「表現し難いということは起きないけれどぷやぷにゃLv.32事件が発生する」ということは成り立たないならば女の子らしいということが生じる fact2: 仮に「母親らしいということは発生しない」ということは嘘でないならば「表現し難いということは発生しないけれどぷやぷにゃLv.32事件が起こる」ということは誤りである fact3: 母親らしいということは「用心深いということが起きるしそれに統率出来ることが生じる」ということに防がれる fact4: 苦々しいということが起きる fact5: 用心深いということが起きる fact6: 苦々しいということが起こるということは統率出来ることは起こらないということを回避する
fact6 & fact4 -> int1: 統率出来ることが発生する; int1 & fact5 -> int2: 用心深いということが起きるし統率出来ることが起こる; int2 & fact3 -> int3: 母親らしいということは発生しない; int3 & fact2 -> int4: 「表現し難いということではなくてぷやぷにゃLv.32事件が生じる」ということは成り立たない; int4 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact3 -> int3: ¬{D}; int3 & fact2 -> int4: ¬(¬{F} & {E}); int4 & fact1 -> hypothesis;
$facts$ = fact1: 「表現し難いということは起きないけれどぷやぷにゃLv.32事件が発生する」ということは成り立たないならば女の子らしいということが生じる fact2: 仮に「母親らしいということは発生しない」ということは嘘でないならば「表現し難いということは発生しないけれどぷやぷにゃLv.32事件が起こる」ということは誤りである fact3: 母親らしいということは「用心深いということが起きるしそれに統率出来ることが生じる」ということに防がれる fact4: 苦々しいということが起きる fact5: 用心深いということが起きる fact6: 苦々しいということが起こるということは統率出来ることは起こらないということを回避する ; $hypothesis$ = 女の子らしいということが起きる ; $proof$ = 
fact6 & fact4 -> int1: 統率出来ることが発生する; int1 & fact5 -> int2: 用心深いということが起きるし統率出来ることが起こる; int2 & fact3 -> int3: 母親らしいということは発生しない; int3 & fact2 -> int4: 「表現し難いということではなくてぷやぷにゃLv.32事件が生じる」ということは成り立たない; int4 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact3 -> int3: ¬{D}; int3 & fact2 -> int4: ¬(¬{F} & {E}); int4 & fact1 -> hypothesis; __PROVED__