みみっちいということは発生しない
fact1: 「ぴなぴにょLv.34事件が起こるけれど進行出来ることは生じない」ということは錆無いということは生じないということを発生させる fact2: ぷにゃぷにゅLv.95事件が起きる fact3: 継続し難いということは起きないということは「認識することが生じるしぽわぽくLv.93事件が生じる」ということのきっかけとなる fact4: ぽわぽくLv.93事件および継続し難いということが生じる fact5: ぷにゃぷにゅLv.95事件は「ぴなぴにょLv.34事件が発生する」ということを引き起こす fact6: 錆無いということは生じないということは「ぽやぽいLv.28事件および作文すること両方ともが発生する」ということに帰結する fact7: 作文することが起こる fact8: もし継続し難いということが発生するしかつ作文することは発生するとすればみみっちいということは生じない
fact4 -> int1: 継続し難いということが起こる; int1 & fact7 -> int2: 継続し難いということと作文すること両方が起きる; int2 & fact8 -> hypothesis;
fact4 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis;
ぽやぽいLv.28事件と認識することが発生する
fact12 & fact11 -> int3: ぴなぴにょLv.34事件が起こる;
$facts$ = fact1: 「ぴなぴにょLv.34事件が起こるけれど進行出来ることは生じない」ということは錆無いということは生じないということを発生させる fact2: ぷにゃぷにゅLv.95事件が起きる fact3: 継続し難いということは起きないということは「認識することが生じるしぽわぽくLv.93事件が生じる」ということのきっかけとなる fact4: ぽわぽくLv.93事件および継続し難いということが生じる fact5: ぷにゃぷにゅLv.95事件は「ぴなぴにょLv.34事件が発生する」ということを引き起こす fact6: 錆無いということは生じないということは「ぽやぽいLv.28事件および作文すること両方ともが発生する」ということに帰結する fact7: 作文することが起こる fact8: もし継続し難いということが発生するしかつ作文することは発生するとすればみみっちいということは生じない ; $hypothesis$ = みみっちいということは発生しない ; $proof$ = 
fact4 -> int1: 継続し難いということが起こる; int1 & fact7 -> int2: 継続し難いということと作文すること両方が起きる; int2 & fact8 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact8 -> hypothesis; __PROVED__