そのみにゃみえLv.61は駆け上がる
fact1: 「そのみにゃみえLv.61は見遣る」ということは事実である fact2: もし仮に「あのまわまよLv.49は恐れ多い」ということは成り立てば成り難い fact3: このもちょもくLv.99は乗り易い fact4: そのみにゃみえLv.61は乗り易くてまた見遣る fact5: そのみにゃみえLv.61は堪り兼ねるししかも冷め易い
fact4 -> int1: そのみにゃみえLv.61は乗り易い;
fact4 -> int1: {A}{a};
$facts$ = fact1: 「そのみにゃみえLv.61は見遣る」ということは事実である fact2: もし仮に「あのまわまよLv.49は恐れ多い」ということは成り立てば成り難い fact3: このもちょもくLv.99は乗り易い fact4: そのみにゃみえLv.61は乗り易くてまた見遣る fact5: そのみにゃみえLv.61は堪り兼ねるししかも冷め易い ; $hypothesis$ = そのみにゃみえLv.61は駆け上がる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__