泥臭いということが発生するしおまけに誘発し易いということは発生する
fact1: もし仮に「言い易いということが生じるがぷいぷちょLv.14事件は起こらない」ということは正しくないならば程遠いということは生じない fact2: 誘発し易いということが起きる fact3: もしも生え易いということは起こらないならば「泥臭いということが生じるしさらに誘発し易いということが起こる」ということは嘘だ fact4: 生え易いということが生じる fact5: 相伝することは程遠いということに繋がる fact6: 程遠いということは泥臭いということを誘発する fact7: もゆもわLv.99事件が生じるということは相伝することは発生しないということを阻止する fact8: 生え易いということおよびもゆもわLv.99事件が起こる
fact8 -> int1: もゆもわLv.99事件が起きる; int1 & fact7 -> int2: 相伝することが起きる; int2 & fact5 -> int3: 程遠いということが発生する; int3 & fact6 -> int4: 泥臭いということが起こる; int4 & fact2 -> hypothesis;
fact8 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact6 -> int4: {E}; int4 & fact2 -> hypothesis;
「泥臭いということおよび誘発し易いということが生じる」ということは嘘である
$facts$ = fact1: もし仮に「言い易いということが生じるがぷいぷちょLv.14事件は起こらない」ということは正しくないならば程遠いということは生じない fact2: 誘発し易いということが起きる fact3: もしも生え易いということは起こらないならば「泥臭いということが生じるしさらに誘発し易いということが起こる」ということは嘘だ fact4: 生え易いということが生じる fact5: 相伝することは程遠いということに繋がる fact6: 程遠いということは泥臭いということを誘発する fact7: もゆもわLv.99事件が生じるということは相伝することは発生しないということを阻止する fact8: 生え易いということおよびもゆもわLv.99事件が起こる ; $hypothesis$ = 泥臭いということが発生するしおまけに誘発し易いということは発生する ; $proof$ = 
fact8 -> int1: もゆもわLv.99事件が起きる; int1 & fact7 -> int2: 相伝することが起きる; int2 & fact5 -> int3: 程遠いということが発生する; int3 & fact6 -> int4: 泥臭いということが起こる; int4 & fact2 -> hypothesis; __PROVED__
fact8 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact6 -> int4: {E}; int4 & fact2 -> hypothesis; __PROVED__