そのぷねぷちゅLv.61は利用し辛くない
fact1: そのぷねぷちゅLv.61は免れ難い fact2: 仮にそのぽくぽのLv.61は申し上げるなら「そのぷねぷちゅLv.61は飛行機らしい」ということは間違いだということはない fact3: あのみねみやLv.3が神々しいならばそれは心地良くない fact4: もし仮にそのぷねぷちゅLv.61が飛行機らしいかまたは神々しいかまたはどちらもだとするとそのぷねぷちゅLv.61は利用し辛くない fact5: もし仮にこのみよみねLv.75が言い訳がましいということはないならそのぽくぽのLv.61は神々しいということはないけどそれは可愛らしい fact6: 神々しくないモンスターは申し上げるかもしくは飛行機らしいかあるいは両方だ fact7: もしあるモンスターは神々しいとしたら「それは飛行機らしくないがしかし申し上げる」ということは嘘だ fact8: そのぽくぽのLv.61は申し上げる
fact2 & fact8 -> int1: そのぷねぷちゅLv.61は飛行機らしい; int1 -> int2: そのぷねぷちゅLv.61は飛行機らしいか神々しい; int2 & fact4 -> hypothesis;
fact2 & fact8 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact4 -> hypothesis;
そのぽくぽのLv.61は利用し辛くない
fact9 -> int3: もし仮にそのぽくぽのLv.61は神々しいとすれば「それは飛行機らしくないが申し上げる」ということは間違いである;
$facts$ = fact1: そのぷねぷちゅLv.61は免れ難い fact2: 仮にそのぽくぽのLv.61は申し上げるなら「そのぷねぷちゅLv.61は飛行機らしい」ということは間違いだということはない fact3: あのみねみやLv.3が神々しいならばそれは心地良くない fact4: もし仮にそのぷねぷちゅLv.61が飛行機らしいかまたは神々しいかまたはどちらもだとするとそのぷねぷちゅLv.61は利用し辛くない fact5: もし仮にこのみよみねLv.75が言い訳がましいということはないならそのぽくぽのLv.61は神々しいということはないけどそれは可愛らしい fact6: 神々しくないモンスターは申し上げるかもしくは飛行機らしいかあるいは両方だ fact7: もしあるモンスターは神々しいとしたら「それは飛行機らしくないがしかし申し上げる」ということは嘘だ fact8: そのぽくぽのLv.61は申し上げる ; $hypothesis$ = そのぷねぷちゅLv.61は利用し辛くない ; $proof$ = 
fact2 & fact8 -> int1: そのぷねぷちゅLv.61は飛行機らしい; int1 -> int2: そのぷねぷちゅLv.61は飛行機らしいか神々しい; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact8 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact4 -> hypothesis; __PROVED__