あのみちょみにLv.87は近似する
fact1: このもちゅもなLv.51は焼き始める fact2: このもちゅもなLv.51は近似する fact3: このもちゅもなLv.51は怖ーいしおまけに面白い fact4: もしこのもちゅもなLv.51が怖ーいし焼き始めるとすればあのみちょみにLv.87は近似するということはない fact5: このもちゅもなLv.51は面白いしまた併呑する
fact3 -> int1: このもちゅもなLv.51は怖ーい; int1 & fact1 -> int2: このもちゅもなLv.51は怖ーいししかも焼き始める; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: このもちゅもなLv.51は焼き始める fact2: このもちゅもなLv.51は近似する fact3: このもちゅもなLv.51は怖ーいしおまけに面白い fact4: もしこのもちゅもなLv.51が怖ーいし焼き始めるとすればあのみちょみにLv.87は近似するということはない fact5: このもちゅもなLv.51は面白いしまた併呑する ; $hypothesis$ = あのみちょみにLv.87は近似する ; $proof$ = 
fact3 -> int1: このもちゅもなLv.51は怖ーい; int1 & fact1 -> int2: このもちゅもなLv.51は怖ーいししかも焼き始める; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis; __DISPROVED__