このもねもにゅLv.11は動じる
fact1: そのみくみにょLv.57は綴り込む fact2: そのみくみにょLv.57は動じる fact3: もし仮にそのみくみにょLv.57は退役すれば「このもねもにゅLv.11は動じる」ということは偽であるということはない fact4: このもねもにゅLv.11は儚いしさらに疚しい fact5: 仮にこのもねもにゅLv.11が頼み難いとするとそのみくみにょLv.57は退役する fact6: そのみくみにょLv.57は頼み難くて更に綴り込む
fact6 -> int1: そのみくみにょLv.57は頼み難い;
fact6 -> int1: {A}{a};
$facts$ = fact1: そのみくみにょLv.57は綴り込む fact2: そのみくみにょLv.57は動じる fact3: もし仮にそのみくみにょLv.57は退役すれば「このもねもにゅLv.11は動じる」ということは偽であるということはない fact4: このもねもにゅLv.11は儚いしさらに疚しい fact5: 仮にこのもねもにゅLv.11が頼み難いとするとそのみくみにょLv.57は退役する fact6: そのみくみにょLv.57は頼み難くて更に綴り込む ; $hypothesis$ = このもねもにゅLv.11は動じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__