愛しいということが起きる
fact1: 作業し易いということは「みわみえLv.10事件は起きない」ということを回避する fact2: 「忝いということは生じない」ということは「愛しいということは発生しない」ということを招く fact3: 描き込むことが発生する fact4: もし仮にみわみえLv.10事件が発生するしおまけに描き込むことは発生するなら忝いということは生じない fact5: 青臭いということが発生するし加えて作業し易いということが生じる
fact5 -> int1: 作業し易いということが起こる; int1 & fact1 -> int2: みわみえLv.10事件が起きる; int2 & fact3 -> int3: みわみえLv.10事件が起こるしそれに描き込むことが起きる; int3 & fact4 -> int4: 忝いということは起きない; int4 & fact2 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact4 -> int4: ¬{E}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 作業し易いということは「みわみえLv.10事件は起きない」ということを回避する fact2: 「忝いということは生じない」ということは「愛しいということは発生しない」ということを招く fact3: 描き込むことが発生する fact4: もし仮にみわみえLv.10事件が発生するしおまけに描き込むことは発生するなら忝いということは生じない fact5: 青臭いということが発生するし加えて作業し易いということが生じる ; $hypothesis$ = 愛しいということが起きる ; $proof$ = 
fact5 -> int1: 作業し易いということが起こる; int1 & fact1 -> int2: みわみえLv.10事件が起きる; int2 & fact3 -> int3: みわみえLv.10事件が起こるしそれに描き込むことが起きる; int3 & fact4 -> int4: 忝いということは起きない; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact3 -> int3: ({C} & {D}); int3 & fact4 -> int4: ¬{E}; int4 & fact2 -> hypothesis; __DISPROVED__