もしこのまちゃまなLv.8がめんどいならそのぴやぴちょLv.50は真白い
fact1: もし仮にこのまちゃまなLv.8がめんどいならあのぽえぽちょLv.39は吸収し易い fact2: もしもこのまちゃまなLv.8が浪費するとすればあのぽえぽちょLv.39は吸収し易い fact3: そのぴなぴやLv.52は吸収し易い fact4: もしもこのまちゃまなLv.8が吸収し易いとするとあのぽえぽちょLv.39はめんどい fact5: あのぽえぽちょLv.39はめんどい fact6: このまちゃまなLv.8は吸収し易い fact7: もしもあのぽえぽちょLv.39が浪費すればそのぴやぴちょLv.50は真白い
void -> assump1: 以下のように仮定する。このまちゃまなLv.8はめんどい; fact1 & assump1 -> int1: 「あのぽえぽちょLv.39は吸収し易い」ということは成り立つ;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
$facts$ = fact1: もし仮にこのまちゃまなLv.8がめんどいならあのぽえぽちょLv.39は吸収し易い fact2: もしもこのまちゃまなLv.8が浪費するとすればあのぽえぽちょLv.39は吸収し易い fact3: そのぴなぴやLv.52は吸収し易い fact4: もしもこのまちゃまなLv.8が吸収し易いとするとあのぽえぽちょLv.39はめんどい fact5: あのぽえぽちょLv.39はめんどい fact6: このまちゃまなLv.8は吸収し易い fact7: もしもあのぽえぽちょLv.39が浪費すればそのぴやぴちょLv.50は真白い ; $hypothesis$ = もしこのまちゃまなLv.8がめんどいならそのぴやぴちょLv.50は真白い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__