このもにょもねLv.64は三分する
fact1: このもにょもねLv.64は短縮化する fact2: そのぷえぷくLv.95は短縮化する fact3: このもにょもねLv.64は程遠い fact4: もし仮にこのもにょもねLv.64が天使らしいしかつ短縮化するとしたら三分しない fact5: 仮にこのもにょもねLv.64が程遠いならばこのもにょもねLv.64は天使らしい
fact5 & fact3 -> int1: このもにょもねLv.64は天使らしい; int1 & fact1 -> int2: このもにょもねLv.64は天使らしいしそれに短縮化する; int2 & fact4 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: このもにょもねLv.64は短縮化する fact2: そのぷえぷくLv.95は短縮化する fact3: このもにょもねLv.64は程遠い fact4: もし仮にこのもにょもねLv.64が天使らしいしかつ短縮化するとしたら三分しない fact5: 仮にこのもにょもねLv.64が程遠いならばこのもにょもねLv.64は天使らしい ; $hypothesis$ = このもにょもねLv.64は三分する ; $proof$ = 
fact5 & fact3 -> int1: このもにょもねLv.64は天使らしい; int1 & fact1 -> int2: このもにょもねLv.64は天使らしいしそれに短縮化する; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis; __DISPROVED__