「赤らむことが生じるということかあるいは押し付けがましいということは「掛け難いということは発生しない」ということにより生じる」ということは間違っている
fact1: 掛け難いということは赤らむことか押し付けがましいということを招く fact2: 掛け難いということはぷちゅぷわLv.16事件の原因となる fact3: 現われ難いということかあるいは泥臭いということが生じる fact4: ぷちゅぷわLv.16事件は「赤らむことは起こらない」ということを阻む fact5: 「ぷちゅぷわLv.16事件は発生しない」ということは「掛け難いということは発生しない」ということに阻まれる
void -> assump1: 以下のように仮定する。掛け難いということは生じない; fact5 & assump1 -> int1: ぷちゅぷわLv.16事件が発生する; int1 & fact4 -> int2: 赤らむことが起こる; int2 -> int3: 赤らむことが生じるか押し付けがましいということが生じる; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact5 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({C} v {D}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: 掛け難いということは赤らむことか押し付けがましいということを招く fact2: 掛け難いということはぷちゅぷわLv.16事件の原因となる fact3: 現われ難いということかあるいは泥臭いということが生じる fact4: ぷちゅぷわLv.16事件は「赤らむことは起こらない」ということを阻む fact5: 「ぷちゅぷわLv.16事件は発生しない」ということは「掛け難いということは発生しない」ということに阻まれる ; $hypothesis$ = 「赤らむことが生じるということかあるいは押し付けがましいということは「掛け難いということは発生しない」ということにより生じる」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。掛け難いということは生じない; fact5 & assump1 -> int1: ぷちゅぷわLv.16事件が発生する; int1 & fact4 -> int2: 赤らむことが起こる; int2 -> int3: 赤らむことが生じるか押し付けがましいということが生じる; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact5 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({C} v {D}); [assump1] & int3 -> hypothesis; __DISPROVED__