このぽくぽなLv.4は由々しない
fact1: もしもあのぴねぴねLv.91が繋がり兼ねないならば悩ましい fact2: もしもあのぴねぴねLv.91が繋がり兼ねないとしたら悩ましいし耐える fact3: あのぴねぴねLv.91は悩ましい fact4: そのぷちょぷいLv.12はショートするし果てし無い fact5: あのぴねぴねLv.91は繋がり兼ねない fact6: もしも「なにがしかのモンスターは耐えるしかつそれは悩ましい」ということは成り立たないとしたらそれは由々しない fact7: 仮になにがしかのモンスターはショートしないならば「それは耐えるしその上悩ましい」ということは成り立たない
fact2 & fact5 -> int1: あのぴねぴねLv.91は悩ましくて耐える; int1 -> int2: あのぴねぴねLv.91は耐える; int2 -> int3: あのぴねぴねLv.91は耐えるかもしくはそれはショートするか両方だ;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a});
あのぴねぴねLv.91は由々しない
fact9 -> int4: もし仮に「「あのぴねぴねLv.91は耐えるし加えて悩ましい」ということは成り立つ」ということは成り立つということはないならばあのぴねぴねLv.91は由々しということはない; fact8 -> int5: 「あのぴねぴねLv.91はショートしない」ということは間違っていないならば「あのぴねぴねLv.91は耐えるしまた悩ましい」ということは間違っている;
$facts$ = fact1: もしもあのぴねぴねLv.91が繋がり兼ねないならば悩ましい fact2: もしもあのぴねぴねLv.91が繋がり兼ねないとしたら悩ましいし耐える fact3: あのぴねぴねLv.91は悩ましい fact4: そのぷちょぷいLv.12はショートするし果てし無い fact5: あのぴねぴねLv.91は繋がり兼ねない fact6: もしも「なにがしかのモンスターは耐えるしかつそれは悩ましい」ということは成り立たないとしたらそれは由々しない fact7: 仮になにがしかのモンスターはショートしないならば「それは耐えるしその上悩ましい」ということは成り立たない ; $hypothesis$ = このぽくぽなLv.4は由々しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__