このぷにゃぷのLv.44は汚れ難い
fact1: もし仮にあのみわみねLv.55が遣り辛いということはないけれどそれが破れ難いとするとこのぷにゃぷのLv.44は汚れ難い fact2: もしそのぴえぴちゅLv.25が遠しとしたらあのみわみねLv.55は遣り辛いということはないが破れ難い fact3: もしも「そのぴえぴちゅLv.25は必する」ということは真実だとしたらそれは遠し fact4: もし「そのぴにゃぴえLv.91は悍ましいが増やさない」ということは正しくないならば「そのぴえぴちゅLv.25は必する」ということは確かだ fact5: もしも「このみやみわLv.55はいわすということはない」ということは真実ならば「「そのぴにゃぴえLv.91は悍ましいけれどそれは増やさない」ということは成り立つ」ということは間違っている fact6: 「このみやみわLv.55はいわさない」ということは成り立つ
fact5 & fact6 -> int1: 「そのぴにゃぴえLv.91は悍ましいがしかし増やさない」ということは成り立たない; int1 & fact4 -> int2: そのぴえぴちゅLv.25は必する; int2 & fact3 -> int3: そのぴえぴちゅLv.25は遠し; int3 & fact2 -> int4: あのみわみねLv.55は遣り辛くない一方で破れ難い; int4 & fact1 -> hypothesis;
fact5 & fact6 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> int3: {C}{c}; int3 & fact2 -> int4: (¬{D}{d} & {E}{d}); int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのみわみねLv.55が遣り辛いということはないけれどそれが破れ難いとするとこのぷにゃぷのLv.44は汚れ難い fact2: もしそのぴえぴちゅLv.25が遠しとしたらあのみわみねLv.55は遣り辛いということはないが破れ難い fact3: もしも「そのぴえぴちゅLv.25は必する」ということは真実だとしたらそれは遠し fact4: もし「そのぴにゃぴえLv.91は悍ましいが増やさない」ということは正しくないならば「そのぴえぴちゅLv.25は必する」ということは確かだ fact5: もしも「このみやみわLv.55はいわすということはない」ということは真実ならば「「そのぴにゃぴえLv.91は悍ましいけれどそれは増やさない」ということは成り立つ」ということは間違っている fact6: 「このみやみわLv.55はいわさない」ということは成り立つ ; $hypothesis$ = このぷにゃぷのLv.44は汚れ難い ; $proof$ = 
fact5 & fact6 -> int1: 「そのぴにゃぴえLv.91は悍ましいがしかし増やさない」ということは成り立たない; int1 & fact4 -> int2: そのぴえぴちゅLv.25は必する; int2 & fact3 -> int3: そのぴえぴちゅLv.25は遠し; int3 & fact2 -> int4: あのみわみねLv.55は遣り辛くない一方で破れ難い; int4 & fact1 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: {B}{c}; int2 & fact3 -> int3: {C}{c}; int3 & fact2 -> int4: (¬{D}{d} & {E}{d}); int4 & fact1 -> hypothesis; __PROVED__