「「もし受け渡しすればだらし無い」モンスターはいる」ということは事実と異なる
fact1: このみわみいLv.94が里帰りするとするとそれはだらし無い fact2: もしこのみわみいLv.94が受け渡しすればこのみわみいLv.94は里帰りする
void -> assump1: 以下のように仮定する。このみわみいLv.94は受け渡しする; fact2 & assump1 -> int1: このみわみいLv.94は里帰りする; int1 & fact1 -> int2: 「このみわみいLv.94はだらし無い」ということは本当だ; [assump1] & int2 -> int3: もし仮にこのみわみいLv.94が受け渡しすればだらし無い; int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
$facts$ = fact1: このみわみいLv.94が里帰りするとするとそれはだらし無い fact2: もしこのみわみいLv.94が受け渡しすればこのみわみいLv.94は里帰りする ; $hypothesis$ = 「「もし受け渡しすればだらし無い」モンスターはいる」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。このみわみいLv.94は受け渡しする; fact2 & assump1 -> int1: このみわみいLv.94は里帰りする; int1 & fact1 -> int2: 「このみわみいLv.94はだらし無い」ということは本当だ; [assump1] & int2 -> int3: もし仮にこのみわみいLv.94が受け渡しすればだらし無い; int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __DISPROVED__