「このぷにゃぷのLv.85は擽ったいがしかし遣わさない」ということは誤りである
fact1: すべてのモンスターは完遂するしおまけに疲れ難い fact2: もしあのみくみにゅLv.19は遣わすとすると「このぷにゃぷのLv.85は擽ったいモンスターであっておまけに遣わす」ということは成り立たない fact3: 仮にあのみくみにゅLv.19が疲れ難いなら遣わす fact4: もしあのみくみにゅLv.19は遣わせば「このぷにゃぷのLv.85は擽ったい一方で遣わさない」ということは偽だ fact5: このぴよぴくLv.58は疲れ難い
fact1 -> int1: あのみくみにゅLv.19は完遂するししかも疲れ難い; int1 -> int2: あのみくみにゅLv.19は疲れ難い; int2 & fact3 -> int3: あのみくみにゅLv.19は遣わす; int3 & fact4 -> hypothesis;
fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: すべてのモンスターは完遂するしおまけに疲れ難い fact2: もしあのみくみにゅLv.19は遣わすとすると「このぷにゃぷのLv.85は擽ったいモンスターであっておまけに遣わす」ということは成り立たない fact3: 仮にあのみくみにゅLv.19が疲れ難いなら遣わす fact4: もしあのみくみにゅLv.19は遣わせば「このぷにゃぷのLv.85は擽ったい一方で遣わさない」ということは偽だ fact5: このぴよぴくLv.58は疲れ難い ; $hypothesis$ = 「このぷにゃぷのLv.85は擽ったいがしかし遣わさない」ということは誤りである ; $proof$ = 
fact1 -> int1: あのみくみにゅLv.19は完遂するししかも疲れ難い; int1 -> int2: あのみくみにゅLv.19は疲れ難い; int2 & fact3 -> int3: あのみくみにゅLv.19は遣わす; int3 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __PROVED__