あのもちょもちゅLv.23は書き連ねるがしかし語り合えない
fact1: 「仮にあるモンスターが語り合えるということはないとすると初々しいかまたは得易いか両方だ」ということは成り立つ fact2: 御安いモンスターは御恥ずかしい fact3: このみよみちょLv.19は得易い fact4: このみよみちょLv.19が御安いかもしくは得易いか両方だとすればあのもちょもちゅLv.23は初々しくない fact5: あのもちょもちゅLv.23は初々しくないとすれば「あのもちょもちゅLv.23は書き連ねるけれど語り合えない」ということは誤りである
fact3 -> int1: このみよみちょLv.19は御安いかまたは得易いかあるいは両方である; int1 & fact4 -> int2: 「あのもちょもちゅLv.23は初々しくない」ということは正しい; int2 & fact5 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis;
あのぴちゅぴねLv.61は悍ましいかそれは御恥ずかしいかまたはどちらもである
fact7 -> int3: もしもあのぴちゅぴねLv.61が御安いならそれは御恥ずかしい; fact6 -> int4: 仮にこのみよみちょLv.19が語り合えるということはないとすればこのみよみちょLv.19は初々しいかあるいは得易い;
$facts$ = fact1: 「仮にあるモンスターが語り合えるということはないとすると初々しいかまたは得易いか両方だ」ということは成り立つ fact2: 御安いモンスターは御恥ずかしい fact3: このみよみちょLv.19は得易い fact4: このみよみちょLv.19が御安いかもしくは得易いか両方だとすればあのもちょもちゅLv.23は初々しくない fact5: あのもちょもちゅLv.23は初々しくないとすれば「あのもちょもちゅLv.23は書き連ねるけれど語り合えない」ということは誤りである ; $hypothesis$ = あのもちょもちゅLv.23は書き連ねるがしかし語り合えない ; $proof$ = 
fact3 -> int1: このみよみちょLv.19は御安いかまたは得易いかあるいは両方である; int1 & fact4 -> int2: 「あのもちょもちゅLv.23は初々しくない」ということは正しい; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__