このぷくぷわLv.38は長細いということはない
fact1: なにがしかのモンスターは御容赦下さらないし加えて間違い無くないとするとそれはださくない fact2: 仮にそのもねもちゅLv.8が撓るし御容赦下さるとすればあのぷにゃぷにゅLv.84は間違い無くない fact3: あのぷにゃぷにゅLv.84は御容赦下さる fact4: もしあのぷにゃぷにゅLv.84がださいしまたそれが御容赦下さればそのもねもちゅLv.8は間違い無いということはない fact5: そのもねもちゅLv.8は震盪培養する fact6: 仮にそのもねもちゅLv.8が間違い無くないがしかし震盪培養するとすればこのぷくぷわLv.38は長細いということはない fact7: 「あのぷにゃぷにゅLv.84は撓る」ということは誤っていないならださい fact8: あのぷにゃぷにゅLv.84は撓る
fact7 & fact8 -> int1: あのぷにゃぷにゅLv.84はださい; int1 & fact3 -> int2: あのぷにゃぷにゅLv.84はださいしおまけに御容赦下さる; int2 & fact4 -> int3: そのもねもちゅLv.8は間違い無いということはない; int3 & fact5 -> int4: そのもねもちゅLv.8は間違い無くないけど震盪培養する; int4 & fact6 -> hypothesis;
fact7 & fact8 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 & fact5 -> int4: (¬{D}{b} & {E}{b}); int4 & fact6 -> hypothesis;
このぷくぷわLv.38は長細い
fact9 -> int5: もしこのぷくぷわLv.38が御容赦下さらなくてその上それが間違い無くないとするとこのぷくぷわLv.38はださくない;
$facts$ = fact1: なにがしかのモンスターは御容赦下さらないし加えて間違い無くないとするとそれはださくない fact2: 仮にそのもねもちゅLv.8が撓るし御容赦下さるとすればあのぷにゃぷにゅLv.84は間違い無くない fact3: あのぷにゃぷにゅLv.84は御容赦下さる fact4: もしあのぷにゃぷにゅLv.84がださいしまたそれが御容赦下さればそのもねもちゅLv.8は間違い無いということはない fact5: そのもねもちゅLv.8は震盪培養する fact6: 仮にそのもねもちゅLv.8が間違い無くないがしかし震盪培養するとすればこのぷくぷわLv.38は長細いということはない fact7: 「あのぷにゃぷにゅLv.84は撓る」ということは誤っていないならださい fact8: あのぷにゃぷにゅLv.84は撓る ; $hypothesis$ = このぷくぷわLv.38は長細いということはない ; $proof$ = 
fact7 & fact8 -> int1: あのぷにゃぷにゅLv.84はださい; int1 & fact3 -> int2: あのぷにゃぷにゅLv.84はださいしおまけに御容赦下さる; int2 & fact4 -> int3: そのもねもちゅLv.8は間違い無いということはない; int3 & fact5 -> int4: そのもねもちゅLv.8は間違い無くないけど震盪培養する; int4 & fact6 -> hypothesis; __PROVED__
fact7 & fact8 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 & fact5 -> int4: (¬{D}{b} & {E}{b}); int4 & fact6 -> hypothesis; __PROVED__