あのもねもちゃLv.38は結着するし徴兵する
fact1: もしとあるモンスターが生み付けるなら徴兵する fact2: あのみくみねLv.36は生み付ける fact3: 仮に何らかのモンスターは哀れっぽくないとすると「「それは生み付けるしまた尊しということはない」ということは事実だ」ということは成り立たない fact4: もし仮にあのみくみねLv.36が生み付けるとしたらあのもねもちゃLv.38は結着する fact5: 仮に「そのもにゅもわLv.38は生み付けるがそれは尊しということはない」ということは成り立たないとするとあのみくみねLv.36は結着するということはない
fact4 & fact2 -> int1: 「あのもねもちゃLv.38は結着する」ということは確かだ;
fact4 & fact2 -> int1: {B}{b};
あのまやまちゅLv.27は徴兵する
fact6 -> int2: もしもあのまやまちゅLv.27が生み付けるなら徴兵する;
$facts$ = fact1: もしとあるモンスターが生み付けるなら徴兵する fact2: あのみくみねLv.36は生み付ける fact3: 仮に何らかのモンスターは哀れっぽくないとすると「「それは生み付けるしまた尊しということはない」ということは事実だ」ということは成り立たない fact4: もし仮にあのみくみねLv.36が生み付けるとしたらあのもねもちゃLv.38は結着する fact5: 仮に「そのもにゅもわLv.38は生み付けるがそれは尊しということはない」ということは成り立たないとするとあのみくみねLv.36は結着するということはない ; $hypothesis$ = あのもねもちゃLv.38は結着するし徴兵する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__