このぷくぷにゅLv.0は期し難い
fact1: もしこのまいまにゃLv.61が過不足無いならこのぷくぷにゅLv.0は期し難い fact2: もしも「このまいまにゃLv.61は登山家らしいし溶け易い」ということは成り立たないとするとそのみちゅみえLv.65は登山家らしくない fact3: 「このまいまにゃLv.61は過不足無い」ということは真実だ fact4: 「登山家らしくないモンスターは期し難いししかも過不足無い」ということは真実である
fact3 -> int1: 「このまいまにゃLv.61は過不足無い」ということは真実だ; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
そのみちゅみえLv.65は期し難い
fact6 -> int2: 仮にそのみちゅみえLv.65が登山家らしくないとするとそれは期し難いししかも過不足無い;
$facts$ = fact1: もしこのまいまにゃLv.61が過不足無いならこのぷくぷにゅLv.0は期し難い fact2: もしも「このまいまにゃLv.61は登山家らしいし溶け易い」ということは成り立たないとするとそのみちゅみえLv.65は登山家らしくない fact3: 「このまいまにゃLv.61は過不足無い」ということは真実だ fact4: 「登山家らしくないモンスターは期し難いししかも過不足無い」ということは真実である ; $hypothesis$ = このぷくぷにゅLv.0は期し難い ; $proof$ = 
fact3 -> int1: 「このまいまにゃLv.61は過不足無い」ということは真実だ; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__