このぽのぽにLv.5は売り難い
fact1: あのもちょもねLv.99が飛び離れないとするとあのもちょもねLv.99は尤もらしい fact2: あのもちょもねLv.99が敵中深いならこのぽのぽにLv.5は売り難い fact3: あのもちょもねLv.99は飛び離れない fact4: 仮になんらかのモンスターが飛び離れないならば尤もらしいしそれは面目無い fact5: あのもちょもねLv.99が面目無いならば敵中深い
fact4 -> int1: 仮にあのもちょもねLv.99が飛び離れないとすればあのもちょもねLv.99は尤もらしいしそれは面目無い; int1 & fact3 -> int2: あのもちょもねLv.99は尤もらしいし更にそれは面目無い; int2 -> int3: あのもちょもねLv.99は面目無い; int3 & fact5 -> int4: あのもちょもねLv.99は敵中深い; int4 & fact2 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact5 -> int4: {B}{aa}; int4 & fact2 -> hypothesis;
$facts$ = fact1: あのもちょもねLv.99が飛び離れないとするとあのもちょもねLv.99は尤もらしい fact2: あのもちょもねLv.99が敵中深いならこのぽのぽにLv.5は売り難い fact3: あのもちょもねLv.99は飛び離れない fact4: 仮になんらかのモンスターが飛び離れないならば尤もらしいしそれは面目無い fact5: あのもちょもねLv.99が面目無いならば敵中深い ; $hypothesis$ = このぽのぽにLv.5は売り難い ; $proof$ = 
fact4 -> int1: 仮にあのもちょもねLv.99が飛び離れないとすればあのもちょもねLv.99は尤もらしいしそれは面目無い; int1 & fact3 -> int2: あのもちょもねLv.99は尤もらしいし更にそれは面目無い; int2 -> int3: あのもちょもねLv.99は面目無い; int3 & fact5 -> int4: あのもちょもねLv.99は敵中深い; int4 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact5 -> int4: {B}{aa}; int4 & fact2 -> hypothesis; __PROVED__