あのまくまちょLv.77は柔らかくない
fact1: 出入りし易くないモンスターは柔らかいし加えて用心深い fact2: あのまくまちょLv.77は用心深くない fact3: もし「そのぽわぽわLv.35は出入りし易いということはない」ということは真実なら用心深いしかつそれは柔らかい fact4: もし「あのぷにぷねLv.66は読み難い」ということは成り立てばあのまくまちょLv.77は出入りし易くない fact5: もしもあのまくまちょLv.77は柔らかいならば「あのまくまちょLv.77は用心深い」ということは確かである
void -> assump1: 以下のように仮定する。あのまくまちょLv.77は柔らかい; fact5 & assump1 -> int1: あのまくまちょLv.77は用心深い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
そのぽわぽわLv.35は用心深い
$facts$ = fact1: 出入りし易くないモンスターは柔らかいし加えて用心深い fact2: あのまくまちょLv.77は用心深くない fact3: もし「そのぽわぽわLv.35は出入りし易いということはない」ということは真実なら用心深いしかつそれは柔らかい fact4: もし「あのぷにぷねLv.66は読み難い」ということは成り立てばあのまくまちょLv.77は出入りし易くない fact5: もしもあのまくまちょLv.77は柔らかいならば「あのまくまちょLv.77は用心深い」ということは確かである ; $hypothesis$ = あのまくまちょLv.77は柔らかくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまくまちょLv.77は柔らかい; fact5 & assump1 -> int1: あのまくまちょLv.77は用心深い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__