「そのもにゅもねLv.81はねちっこいけど睦まじくない」ということは事実と異なる
fact1: そのもにゅもねLv.81が眠たくないならばねちっこいしさらに睦まじくない fact2: そのもねもねLv.1は眠たいとすると「そのもにゅもねLv.81はねちっこいけれど睦まじいということはない」ということは成り立たない fact3: 仮に「そのもにゅもねLv.81は眠たい」ということは成り立つとしたらそのもねもねLv.1は難しい fact4: 仮にそのもにゅもねLv.81が眠たくないとしたらそのもにゅもねLv.81はねちっこい
void -> assump1: 以下のように仮定する。そのもにゅもねLv.81は眠たい; fact3 & assump1 -> int1: そのもねもねLv.1は難しい;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b};
「そのもにゅもねLv.81はねちっこいけど睦まじくない」ということは事実と異なる
$facts$ = fact1: そのもにゅもねLv.81が眠たくないならばねちっこいしさらに睦まじくない fact2: そのもねもねLv.1は眠たいとすると「そのもにゅもねLv.81はねちっこいけれど睦まじいということはない」ということは成り立たない fact3: 仮に「そのもにゅもねLv.81は眠たい」ということは成り立つとしたらそのもねもねLv.1は難しい fact4: 仮にそのもにゅもねLv.81が眠たくないとしたらそのもにゅもねLv.81はねちっこい ; $hypothesis$ = 「そのもにゅもねLv.81はねちっこいけど睦まじくない」ということは事実と異なる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__