みくみにゅLv.16事件は起こらない
fact1: 「通し始めることとアメリカっぽいということどちらもが起こる」ということは誤りでない fact2: 招き易いということは「溶け難いということは起こらない」ということを防ぐ fact3: 招き易いということは起きないということはアメリカっぽいということに阻止される fact4: 「みくみにゅLv.16事件は発生しない」ということはぽなぽゆLv.37事件は起こらないということに阻止される fact5: 言い出し難いということが起こる fact6: 通し始めることが発生する fact7: ぽなぽゆLv.37事件かまたは溶け難いということかまたはどちらもが起きる fact8: ぽなぽゆLv.37事件が生じないということかあるいは溶け難いということはみくみにゅLv.16事件は生じないということを回避する
fact1 -> int1: アメリカっぽいということが起きる; int1 & fact3 -> int2: 招き易いということが生じる; int2 & fact2 -> int3: 溶け難いということが起きる; int3 -> int4: ぽなぽゆLv.37事件が生じないかあるいは溶け難いということは発生する; int4 & fact8 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 -> int4: (¬{E} v {D}); int4 & fact8 -> hypothesis;
$facts$ = fact1: 「通し始めることとアメリカっぽいということどちらもが起こる」ということは誤りでない fact2: 招き易いということは「溶け難いということは起こらない」ということを防ぐ fact3: 招き易いということは起きないということはアメリカっぽいということに阻止される fact4: 「みくみにゅLv.16事件は発生しない」ということはぽなぽゆLv.37事件は起こらないということに阻止される fact5: 言い出し難いということが起こる fact6: 通し始めることが発生する fact7: ぽなぽゆLv.37事件かまたは溶け難いということかまたはどちらもが起きる fact8: ぽなぽゆLv.37事件が生じないということかあるいは溶け難いということはみくみにゅLv.16事件は生じないということを回避する ; $hypothesis$ = みくみにゅLv.16事件は起こらない ; $proof$ = 
fact1 -> int1: アメリカっぽいということが起きる; int1 & fact3 -> int2: 招き易いということが生じる; int2 & fact2 -> int3: 溶け難いということが起きる; int3 -> int4: ぽなぽゆLv.37事件が生じないかあるいは溶け難いということは発生する; int4 & fact8 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 -> int4: (¬{E} v {D}); int4 & fact8 -> hypothesis; __DISPROVED__