「もしも「あのまにょまにLv.5は割れ難い」ということは事実だとしたらあのまにょまにLv.5は厚かましい」ということは成り立たない
fact1: もし「あのまにょまにLv.5は厚かましくないかあるいはおっきくないか両方である」ということは間違いだとするとあのぽにゃぽにゅLv.66は割れ難い fact2: もしもあのまにょまにLv.5がおっきいならば感覚出来る fact3: 仮にあるモンスターが転倒するとするとそれは売り難い fact4: もしあのまにょまにLv.5が割れ難いならあのまにょまにLv.5はおっきい
void -> assump1: 以下のように仮定する。「あのまにょまにLv.5は割れ難い」ということは正しい; fact4 & assump1 -> int1: あのまにょまにLv.5はおっきい;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a};
もしあのまにょまにLv.5が転倒するとすればあのまにょまにLv.5は売り難い
fact5 -> hypothesis;
$facts$ = fact1: もし「あのまにょまにLv.5は厚かましくないかあるいはおっきくないか両方である」ということは間違いだとするとあのぽにゃぽにゅLv.66は割れ難い fact2: もしもあのまにょまにLv.5がおっきいならば感覚出来る fact3: 仮にあるモンスターが転倒するとするとそれは売り難い fact4: もしあのまにょまにLv.5が割れ難いならあのまにょまにLv.5はおっきい ; $hypothesis$ = 「もしも「あのまにょまにLv.5は割れ難い」ということは事実だとしたらあのまにょまにLv.5は厚かましい」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__