そのまちゃまなLv.8は煩くない
fact1: もし仮にあのみにみにょLv.44はし難くないかまたはそれは準ぜないならば「あのぴのぴにょLv.58は失望する」ということは事実だ fact2: あのみにみにょLv.44は準ぜない
fact2 -> int1: 「あのみにみにょLv.44はし難くないかまたは準ぜないかまたは両方ともである」ということは成り立つ; int1 & fact1 -> int2: あのぴのぴにょLv.58は失望する;
fact2 -> int1: (¬{A}{a} v ¬{B}{a}); int1 & fact1 -> int2: {C}{b};
$facts$ = fact1: もし仮にあのみにみにょLv.44はし難くないかまたはそれは準ぜないならば「あのぴのぴにょLv.58は失望する」ということは事実だ fact2: あのみにみにょLv.44は準ぜない ; $hypothesis$ = そのまちゃまなLv.8は煩くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__