あのぴにぴえLv.89は厭わしい
fact1: 太しということはないモンスターは厭わしいし加えて直り難い fact2: 危うくないモンスターは総辞職するしまた色好い fact3: あのぴにぴえLv.89は太しない fact4: すべてのモンスターは華々しくないがしかし間違い易い fact5: 仮に「あのぷちゅぷちゅLv.4はたどたどしくてまた形成し易い」ということは成り立たないなら「このみいみにゃLv.75は危うくない」ということは成り立つ fact6: もしもとあるモンスターは華々しくないとすれば「たどたどしくて形成し易い」ということは成り立たない fact7: もし「このぴのぴなLv.48は厭わしいかもしくは太しないかまたは両方ともである」ということは間違いならばあのぴにぴえLv.89は厭わしくない
fact1 -> int1: 仮にあのぴにぴえLv.89が太しないならあのぴにぴえLv.89は厭わしいモンスターでありかつ直り難い; int1 & fact3 -> int2: あのぴにぴえLv.89が厭わしいしその上直り難い; int2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
あのぴにぴえLv.89は厭わしくない
fact11 -> int3: あのまちょまくLv.52は華々しくない一方で間違い易い; int3 -> int4: あのまちょまくLv.52は華々しくない; fact8 -> int5: もし仮にあのまちょまくLv.52は華々しくないとしたら「それはたどたどしくて形成し易い」ということは成り立たない; int4 & int5 -> int6: 「あのまちょまくLv.52はたどたどしいし加えて形成し易い」ということは成り立たない; int6 -> int7: たどたどしいしその上形成し易いというモンスターはない; int7 -> int8: 「あのぷちゅぷちゅLv.4はたどたどしくてそれに形成し易い」ということは成り立たない; fact12 & int8 -> int9: 「このみいみにゃLv.75は危うくない」ということは成り立つ; fact10 -> int10: 仮にこのみいみにゃLv.75は危うくないならば「総辞職するし加えて色好い」ということは正しい; int9 & int10 -> int11: このみいみにゃLv.75は総辞職するしさらに色好い; int11 -> int12: このみいみにゃLv.75は総辞職する;
$facts$ = fact1: 太しということはないモンスターは厭わしいし加えて直り難い fact2: 危うくないモンスターは総辞職するしまた色好い fact3: あのぴにぴえLv.89は太しない fact4: すべてのモンスターは華々しくないがしかし間違い易い fact5: 仮に「あのぷちゅぷちゅLv.4はたどたどしくてまた形成し易い」ということは成り立たないなら「このみいみにゃLv.75は危うくない」ということは成り立つ fact6: もしもとあるモンスターは華々しくないとすれば「たどたどしくて形成し易い」ということは成り立たない fact7: もし「このぴのぴなLv.48は厭わしいかもしくは太しないかまたは両方ともである」ということは間違いならばあのぴにぴえLv.89は厭わしくない ; $hypothesis$ = あのぴにぴえLv.89は厭わしい ; $proof$ = 
fact1 -> int1: 仮にあのぴにぴえLv.89が太しないならあのぴにぴえLv.89は厭わしいモンスターでありかつ直り難い; int1 & fact3 -> int2: あのぴにぴえLv.89が厭わしいしその上直り難い; int2 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __PROVED__