このぷよぷにゅLv.76は引き難い
fact1: 仮にあのぷちょぷえLv.96が馴れ馴れしいとしたらあのぷちょぷえLv.96は憎々しい fact2: 仮にあのぷちょぷえLv.96が憎々しいとするとこのぷよぷにゅLv.76は引き難い fact3: 仮にあのぴにゃぴにょLv.76が憎々しいということはないならばあのぽゆぽちゃLv.18は馴れ馴れしいし生成し易い fact4: もしもあのぴにゃぴにょLv.76が生成し易いとすればあのぷちょぷえLv.96は馴れ馴れしい fact5: もしあのぽゆぽちゃLv.18が生き続けるとしたらあのぴにゃぴにょLv.76は遊び出す fact6: もしもあのぴにゃぴにょLv.76は遊び出すとすると「それは生成し易い」ということは本当だ fact7: あのぽゆぽちゃLv.18は生き続ける
fact5 & fact7 -> int1: あのぴにゃぴにょLv.76は遊び出す; int1 & fact6 -> int2: あのぴにゃぴにょLv.76は生成し易い; int2 & fact4 -> int3: あのぷちょぷえLv.96は馴れ馴れしい; int3 & fact1 -> int4: あのぷちょぷえLv.96は憎々しい; int4 & fact2 -> hypothesis;
fact5 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 & fact1 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
このぷよぷにゅLv.76は引き難いということはない
$facts$ = fact1: 仮にあのぷちょぷえLv.96が馴れ馴れしいとしたらあのぷちょぷえLv.96は憎々しい fact2: 仮にあのぷちょぷえLv.96が憎々しいとするとこのぷよぷにゅLv.76は引き難い fact3: 仮にあのぴにゃぴにょLv.76が憎々しいということはないならばあのぽゆぽちゃLv.18は馴れ馴れしいし生成し易い fact4: もしもあのぴにゃぴにょLv.76が生成し易いとすればあのぷちょぷえLv.96は馴れ馴れしい fact5: もしあのぽゆぽちゃLv.18が生き続けるとしたらあのぴにゃぴにょLv.76は遊び出す fact6: もしもあのぴにゃぴにょLv.76は遊び出すとすると「それは生成し易い」ということは本当だ fact7: あのぽゆぽちゃLv.18は生き続ける ; $hypothesis$ = このぷよぷにゅLv.76は引き難い ; $proof$ = 
fact5 & fact7 -> int1: あのぴにゃぴにょLv.76は遊び出す; int1 & fact6 -> int2: あのぴにゃぴにょLv.76は生成し易い; int2 & fact4 -> int3: あのぷちょぷえLv.96は馴れ馴れしい; int3 & fact1 -> int4: あのぷちょぷえLv.96は憎々しい; int4 & fact2 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{c}; int3 & fact1 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __PROVED__