「あのまなまくLv.10は作り易いモンスターであってしかも来し易い」ということは成り立つ
fact1: 仮に厚しモンスターが結び付き難いということはないとすれば来し易い fact2: このぷよぷちゅLv.23は芳しいとすると「漏れ聞く」ということは事実と異ならない fact3: あのまなまくLv.10は厚しけどそれは結び付き難くない fact4: 「あのまなまくLv.10は作り易い」ということは本当だ fact5: 「あのもにゅもにゃLv.29は厚しということはない」ということは成り立つ fact6: もしとあるモンスターは漏れ聞かないなら「それは作り易いしその上来し易い」ということは成り立つということはない fact7: もしこのぷよぷちゅLv.23が作り易いとしたらこのぷよぷちゅLv.23は厚し fact8: もし何らかのモンスターが漏れ聞くなら来し易い
fact1 -> int1: 仮にあのまなまくLv.10が厚しが結び付き難くないならあのまなまくLv.10は来し易い; int1 & fact3 -> int2: あのまなまくLv.10は来し易い; int2 & fact4 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> hypothesis;
このぷよぷちゅLv.23は厚し
fact10 -> int3: もしこのぷよぷちゅLv.23は漏れ聞けば「それは来し易い」ということは成り立つ;
$facts$ = fact1: 仮に厚しモンスターが結び付き難いということはないとすれば来し易い fact2: このぷよぷちゅLv.23は芳しいとすると「漏れ聞く」ということは事実と異ならない fact3: あのまなまくLv.10は厚しけどそれは結び付き難くない fact4: 「あのまなまくLv.10は作り易い」ということは本当だ fact5: 「あのもにゅもにゃLv.29は厚しということはない」ということは成り立つ fact6: もしとあるモンスターは漏れ聞かないなら「それは作り易いしその上来し易い」ということは成り立つということはない fact7: もしこのぷよぷちゅLv.23が作り易いとしたらこのぷよぷちゅLv.23は厚し fact8: もし何らかのモンスターが漏れ聞くなら来し易い ; $hypothesis$ = 「あのまなまくLv.10は作り易いモンスターであってしかも来し易い」ということは成り立つ ; $proof$ = 
fact1 -> int1: 仮にあのまなまくLv.10が厚しが結び付き難くないならあのまなまくLv.10は来し易い; int1 & fact3 -> int2: あのまなまくLv.10は来し易い; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> hypothesis; __PROVED__