仮にあのぷにぷゆLv.6が押し付けがましいとしたらあのみねみよLv.32は腫れぼったくないし物寂しくない
fact1: もし仮にあのぷにぷゆLv.6が押し付けがましいかまたはそれが調和し難いとしたらあのまにゅまわLv.86は物寂しくない
void -> assump1: 以下のように仮定する。あのぷにぷゆLv.6は押し付けがましい; assump1 -> int1: あのぷにぷゆLv.6は押し付けがましいか調和し難い; int1 & fact1 -> int2: あのまにゅまわLv.86は物寂しくない;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b};
$facts$ = fact1: もし仮にあのぷにぷゆLv.6が押し付けがましいかまたはそれが調和し難いとしたらあのまにゅまわLv.86は物寂しくない ; $hypothesis$ = 仮にあのぷにぷゆLv.6が押し付けがましいとしたらあのみねみよLv.32は腫れぼったくないし物寂しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__