「そのもくもにゅLv.19は気高しないけれど果てし無い」ということは成り立つということはない
fact1: もし「あのみちゃみくLv.25は滑り難くない」ということは成り立つとすればそのもくもにゅLv.19は気高しということはないけれど果てし無い fact2: あのみちゃみくLv.25が滑り難いとするとこのぴにゅぴえLv.22は対応し切れる fact3: もしあのみちゃみくLv.25が滑り難くないとすればそのもくもにゅLv.19は果てし無い fact4: このぴにゅぴえLv.22は対応し切れない
void -> assump1: 以下のように仮定する。あのみちゃみくLv.25は滑り難い; fact2 & assump1 -> int1: このぴにゅぴえLv.22は対応し切れる; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみちゃみくLv.25は滑り難くない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし「あのみちゃみくLv.25は滑り難くない」ということは成り立つとすればそのもくもにゅLv.19は気高しということはないけれど果てし無い fact2: あのみちゃみくLv.25が滑り難いとするとこのぴにゅぴえLv.22は対応し切れる fact3: もしあのみちゃみくLv.25が滑り難くないとすればそのもくもにゅLv.19は果てし無い fact4: このぴにゅぴえLv.22は対応し切れない ; $hypothesis$ = 「そのもくもにゅLv.19は気高しないけれど果てし無い」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみちゃみくLv.25は滑り難い; fact2 & assump1 -> int1: このぴにゅぴえLv.22は対応し切れる; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのみちゃみくLv.25は滑り難くない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__