ぷにょぷくLv.21事件は生じない
fact1: 甘酸っぱいということは発生しないということはもなものLv.29事件は起きないということを阻む fact2: もしも「ぽなぽやLv.21事件は起きない」ということは真実であるなら取り結ぶことは発生しないがもなものLv.29事件が起きる fact3: 「甘酸っぱいということは発生しない」ということは成り立つ fact4: もなものLv.29事件が起こる fact5: 「甘酸っぱいということは発生しない」ということは「もなものLv.29事件およびぽなぽやLv.21事件どちらもが起こる」ということをもたらす fact6: もし仮に明示することは発生しないならば「ぷにょぷくLv.21事件は発生しなくてその上甘酸っぱいということは起こらない」ということは間違っている fact7: 合算することはぽなぽやLv.21事件により生じる fact8: 御寒いということは起こらないなら明示することは生じない fact9: ぷにょぷくLv.21事件は合算することに引き起こされる
fact5 & fact3 -> int1: もなものLv.29事件およびぽなぽやLv.21事件が起きる; int1 -> int2: ぽなぽやLv.21事件が生じる; int2 & fact7 -> int3: 合算することが起こる; int3 & fact9 -> hypothesis;
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 & fact9 -> hypothesis;
取り結ぶことは発生しない
$facts$ = fact1: 甘酸っぱいということは発生しないということはもなものLv.29事件は起きないということを阻む fact2: もしも「ぽなぽやLv.21事件は起きない」ということは真実であるなら取り結ぶことは発生しないがもなものLv.29事件が起きる fact3: 「甘酸っぱいということは発生しない」ということは成り立つ fact4: もなものLv.29事件が起こる fact5: 「甘酸っぱいということは発生しない」ということは「もなものLv.29事件およびぽなぽやLv.21事件どちらもが起こる」ということをもたらす fact6: もし仮に明示することは発生しないならば「ぷにょぷくLv.21事件は発生しなくてその上甘酸っぱいということは起こらない」ということは間違っている fact7: 合算することはぽなぽやLv.21事件により生じる fact8: 御寒いということは起こらないなら明示することは生じない fact9: ぷにょぷくLv.21事件は合算することに引き起こされる ; $hypothesis$ = ぷにょぷくLv.21事件は生じない ; $proof$ = 
fact5 & fact3 -> int1: もなものLv.29事件およびぽなぽやLv.21事件が起きる; int1 -> int2: ぽなぽやLv.21事件が生じる; int2 & fact7 -> int3: 合算することが起こる; int3 & fact9 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact7 -> int3: {C}; int3 & fact9 -> hypothesis; __DISPROVED__