「もしもあのもいもゆLv.33は混ざるなら「そのぴちょぴちゅLv.45は堪え難くない」ということは事実だ」ということは成り立たない
fact1: 仮にあのもいもゆLv.33が混ざればそのぴちょぴちゅLv.45は堪え難い fact2: そのぴちょぴちゅLv.45は堪え難い fact3: あのもいもゆLv.33は思わしい fact4: そのぴちょぴちゅLv.45が思わしいとしたらあのもいもゆLv.33は堪え難くない fact5: もしあのもいもゆLv.33が思わしくてそれが混ざるとすればそのぴちょぴちゅLv.45は堪え難い
void -> assump1: 以下のように仮定する。あのもいもゆLv.33は混ざる; fact3 & assump1 -> int1: あのもいもゆLv.33は思わしいし混ざる;
void -> assump1: {B}{a}; fact3 & assump1 -> int1: ({A}{a} & {B}{a});
$facts$ = fact1: 仮にあのもいもゆLv.33が混ざればそのぴちょぴちゅLv.45は堪え難い fact2: そのぴちょぴちゅLv.45は堪え難い fact3: あのもいもゆLv.33は思わしい fact4: そのぴちょぴちゅLv.45が思わしいとしたらあのもいもゆLv.33は堪え難くない fact5: もしあのもいもゆLv.33が思わしくてそれが混ざるとすればそのぴちょぴちゅLv.45は堪え難い ; $hypothesis$ = 「もしもあのもいもゆLv.33は混ざるなら「そのぴちょぴちゅLv.45は堪え難くない」ということは事実だ」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__