そのもにもいLv.63は移り難くない
fact1: もしそのもちゅもくLv.34がすっごーいならきな臭い fact2: もしもそのもにもいLv.63が移り難いとしたらそのもちゅもくLv.34はすっごーい fact3: そのもちゅもくLv.34は御言い為さる fact4: そのもちゅもくLv.34はきな臭くない fact5: そのもちゅもくLv.34は移り難い
void -> assump1: 以下のように仮定する。そのもにもいLv.63は移り難い; fact2 & assump1 -> int1: そのもちゅもくLv.34はすっごーい; int1 & fact1 -> int2: そのもちゅもくLv.34はきな臭い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしそのもちゅもくLv.34がすっごーいならきな臭い fact2: もしもそのもにもいLv.63が移り難いとしたらそのもちゅもくLv.34はすっごーい fact3: そのもちゅもくLv.34は御言い為さる fact4: そのもちゅもくLv.34はきな臭くない fact5: そのもちゅもくLv.34は移り難い ; $hypothesis$ = そのもにもいLv.63は移り難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもにもいLv.63は移り難い; fact2 & assump1 -> int1: そのもちゅもくLv.34はすっごーい; int1 & fact1 -> int2: そのもちゅもくLv.34はきな臭い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__