丸いということは生じない
fact1: ぽくぽにょLv.85事件が起きる fact2: 丸いということおよび猛々しいということが起きるは「築き難いということは生じない」ということが原因だ fact3: 猛々しいということと築き難いということどちらもが起きる fact4: もし仮に築き難いということとぽくぽにょLv.85事件両方が発生すれば丸いということは起こらない fact5: 「煮含めることが発生する」ということは本当であるとすると築き難いということは生じないけれどぽくぽにょLv.85事件が生じる fact6: もわもえLv.43事件は発生しないとすれば煮含めることおよび紛らわしいということが生じる
fact3 -> int1: 築き難いということが生じる; int1 & fact1 -> int2: 築き難いということが起きるしそれにぽくぽにょLv.85事件が起きる; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
丸いということが起きる
$facts$ = fact1: ぽくぽにょLv.85事件が起きる fact2: 丸いということおよび猛々しいということが起きるは「築き難いということは生じない」ということが原因だ fact3: 猛々しいということと築き難いということどちらもが起きる fact4: もし仮に築き難いということとぽくぽにょLv.85事件両方が発生すれば丸いということは起こらない fact5: 「煮含めることが発生する」ということは本当であるとすると築き難いということは生じないけれどぽくぽにょLv.85事件が生じる fact6: もわもえLv.43事件は発生しないとすれば煮含めることおよび紛らわしいということが生じる ; $hypothesis$ = 丸いということは生じない ; $proof$ = 
fact3 -> int1: 築き難いということが生じる; int1 & fact1 -> int2: 築き難いということが起きるしそれにぽくぽにょLv.85事件が起きる; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__