もにゅもくLv.28事件は起きない
fact1: 着せがましいということが生じる fact2: 仮に「「みちょみちゅLv.7事件が起こるかまたは見られ易いということは起こらない」ということは間違いだ」ということは事実だとするとまわまのLv.86事件は発生しない fact3: 広がり易いということが発生する fact4: もしもにゅもくLv.28事件が生じるし着せがましいということが生じるとすると広がり易いということは発生しない fact5: 仮にまわまのLv.86事件は生じないならば広がり易いということが生じるし着せがましいということは起こらない
void -> assump1: 以下のように仮定する。もにゅもくLv.28事件が発生する; assump1 & fact1 -> int1: もにゅもくLv.28事件と着せがましいということが起きる; int1 & fact4 -> int2: 広がり易いということは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
ぽねぽゆLv.34事件は発生しない
$facts$ = fact1: 着せがましいということが生じる fact2: 仮に「「みちょみちゅLv.7事件が起こるかまたは見られ易いということは起こらない」ということは間違いだ」ということは事実だとするとまわまのLv.86事件は発生しない fact3: 広がり易いということが発生する fact4: もしもにゅもくLv.28事件が生じるし着せがましいということが生じるとすると広がり易いということは発生しない fact5: 仮にまわまのLv.86事件は生じないならば広がり易いということが生じるし着せがましいということは起こらない ; $hypothesis$ = もにゅもくLv.28事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。もにゅもくLv.28事件が発生する; assump1 & fact1 -> int1: もにゅもくLv.28事件と着せがましいということが起きる; int1 & fact4 -> int2: 広がり易いということは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__