「あのもちゅもわLv.95は軍人らしいしそれに乗り換える」ということは誤りだ
fact1: あのもちゅもわLv.95は算定し難いということはない fact2: とあるモンスターは乗り換えるということはないならば「それは軍人らしいかあるいはそれは算定し難い」ということは成り立つ fact3: あのもちゅもわLv.95は軍人らしい fact4: 算定し難くないモンスターは如何わしくないがしかし思える
fact4 -> int1: あのもちゅもわLv.95が算定し難くないとするとあのもちゅもわLv.95は如何わしくないけど思える; int1 & fact1 -> int2: あのもちゅもわLv.95は如何わしいということはないけど思える; int2 -> int3: あのもちゅもわLv.95は思える;
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa};
このもくもいLv.61は算定し難くない
fact5 -> int4: もしもそのぴにゃぴにょLv.83が乗り換えないならそのぴにゃぴにょLv.83は軍人らしいか算定し難いか両方ともである;
$facts$ = fact1: あのもちゅもわLv.95は算定し難いということはない fact2: とあるモンスターは乗り換えるということはないならば「それは軍人らしいかあるいはそれは算定し難い」ということは成り立つ fact3: あのもちゅもわLv.95は軍人らしい fact4: 算定し難くないモンスターは如何わしくないがしかし思える ; $hypothesis$ = 「あのもちゅもわLv.95は軍人らしいしそれに乗り換える」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__