このもわもにLv.91は遜色無くない
fact1: そのもちゅもにゅLv.73は動かし難くなくてその上遅しない fact2: あのぷなぷよLv.26は遅しかまたはそれは仕舞い易いかもしくはどちらもである fact3: もしもそのもちゅもにゅLv.73がしがないかそれが御書きに成るかまたはどちらもだとすればこのもわもにLv.91は遜色無くない fact4: 「そのもちゅもにゅLv.73は動かし難くないしそれは遅しない」ということは成り立つとしたらしがない fact5: 「そのもちゅもにゅLv.73は遅しということはない」ということは確かである
fact4 & fact1 -> int1: そのもちゅもにゅLv.73はしがない; int1 -> int2: そのもちゅもにゅLv.73はしがないかあるいはそれは御書きに成るかあるいは両方ともだ; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {A}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: そのもちゅもにゅLv.73は動かし難くなくてその上遅しない fact2: あのぷなぷよLv.26は遅しかまたはそれは仕舞い易いかもしくはどちらもである fact3: もしもそのもちゅもにゅLv.73がしがないかそれが御書きに成るかまたはどちらもだとすればこのもわもにLv.91は遜色無くない fact4: 「そのもちゅもにゅLv.73は動かし難くないしそれは遅しない」ということは成り立つとしたらしがない fact5: 「そのもちゅもにゅLv.73は遅しということはない」ということは確かである ; $hypothesis$ = このもわもにLv.91は遜色無くない ; $proof$ = 
fact4 & fact1 -> int1: そのもちゅもにゅLv.73はしがない; int1 -> int2: そのもちゅもにゅLv.73はしがないかあるいはそれは御書きに成るかあるいは両方ともだ; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {A}{a}); int2 & fact3 -> hypothesis; __PROVED__