そのぷちょぷくLv.75は息苦しくない
fact1: もし「このぽいぽねLv.92は言い易くなくてさらにそれは一安心しない」ということは成り立たないとするとそのもえもちょLv.4は断り難くない fact2: 仮にこのぽいぽねLv.92が言い易くないししかも一安心しないとしたらそのぷちょぷくLv.75は息苦しい
void -> assump1: 以下のように仮定する。「このぽいぽねLv.92は言い易くないしその上一安心しない」ということは成り立たない; fact1 & assump1 -> int1: そのもえもちょLv.4は断り難くない;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{b};
$facts$ = fact1: もし「このぽいぽねLv.92は言い易くなくてさらにそれは一安心しない」ということは成り立たないとするとそのもえもちょLv.4は断り難くない fact2: 仮にこのぽいぽねLv.92が言い易くないししかも一安心しないとしたらそのぷちょぷくLv.75は息苦しい ; $hypothesis$ = そのぷちょぷくLv.75は息苦しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__