空恐ろしいということが起こる
fact1: 厚かましいということが起こる fact2: みいみちょLv.14事件が発生するし更にもゆもなLv.14事件が起きる fact3: ぴにぴにゅLv.27事件が起こる fact4: 整えることは起きない fact5: 空恐ろしいということはぽにょぽちゅLv.58事件および厚かましいということが起きるに阻止される fact6: ぽにょぽちゅLv.58事件が起こるし整えることは起きない fact7: 奥床しいということは起こらない
fact6 -> int1: ぽにょぽちゅLv.58事件が起こる; int1 & fact1 -> int2: ぽにょぽちゅLv.58事件と厚かましいということが起きる; int2 & fact5 -> hypothesis;
fact6 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis;
$facts$ = fact1: 厚かましいということが起こる fact2: みいみちょLv.14事件が発生するし更にもゆもなLv.14事件が起きる fact3: ぴにぴにゅLv.27事件が起こる fact4: 整えることは起きない fact5: 空恐ろしいということはぽにょぽちゅLv.58事件および厚かましいということが起きるに阻止される fact6: ぽにょぽちゅLv.58事件が起こるし整えることは起きない fact7: 奥床しいということは起こらない ; $hypothesis$ = 空恐ろしいということが起こる ; $proof$ = 
fact6 -> int1: ぽにょぽちゅLv.58事件が起こる; int1 & fact1 -> int2: ぽにょぽちゅLv.58事件と厚かましいということが起きる; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis; __DISPROVED__