「無理無いということが生じる」ということは成り立つということはない
fact1: 女の子らしいということが生じるということはもちゅもよLv.67事件に由来する fact2: もちゅもよLv.67事件が起きる fact3: ぷにぷよLv.38事件は起こらないということは「仕立て上げることか堪え難いということが起こる」ということを引き起こす fact4: もにょもちゃLv.71事件が発生する fact5: 無理無いということは起こらないということは女の子らしいということおよびもにょもちゃLv.71事件が生じるにもたらされる
fact1 & fact2 -> int1: 「女の子らしいということが発生する」ということは確かだ; int1 & fact4 -> int2: 女の子らしいということおよびもにょもちゃLv.71事件両方ともが発生する; int2 & fact5 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
覚束無いということが起きる
$facts$ = fact1: 女の子らしいということが生じるということはもちゅもよLv.67事件に由来する fact2: もちゅもよLv.67事件が起きる fact3: ぷにぷよLv.38事件は起こらないということは「仕立て上げることか堪え難いということが起こる」ということを引き起こす fact4: もにょもちゃLv.71事件が発生する fact5: 無理無いということは起こらないということは女の子らしいということおよびもにょもちゃLv.71事件が生じるにもたらされる ; $hypothesis$ = 「無理無いということが生じる」ということは成り立つということはない ; $proof$ = 
fact1 & fact2 -> int1: 「女の子らしいということが発生する」ということは確かだ; int1 & fact4 -> int2: 女の子らしいということおよびもにょもちゃLv.71事件両方ともが発生する; int2 & fact5 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__