そのまにゅまいLv.0は長ったらしい
fact1: もし仮にそのもやもゆLv.4が罹患し易いということはないとしたらそのまにゅまいLv.0は長ったらしくない fact2: もしもそのもやもゆLv.4が罹患し易いとすると望ましい
void -> assump1: 以下のように仮定する。そのもやもゆLv.4は罹患し易い; fact2 & assump1 -> int1: そのもやもゆLv.4は望ましい;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a};
$facts$ = fact1: もし仮にそのもやもゆLv.4が罹患し易いということはないとしたらそのまにゅまいLv.0は長ったらしくない fact2: もしもそのもやもゆLv.4が罹患し易いとすると望ましい ; $hypothesis$ = そのまにゅまいLv.0は長ったらしい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__