そのみくみにゅLv.48は遠し
fact1: このぽやぽにLv.34は粘り強い fact2: もし仮にこのぽやぽにLv.34が立て難くて粘り強いとすればそのみくみにゅLv.48は遠しない fact3: このぽやぽにLv.34は立て難い fact4: もしこのぽやぽにLv.34が遠しならばそのみくみにゅLv.48は遠し fact5: 粘り強いということはないモンスターは立て難いし更に遠し fact6: そのみちゃみなLv.84は彼女らしくない
fact3 & fact1 -> int1: このぽやぽにLv.34は立て難いし粘り強い; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
そのみくみにゅLv.48は遠し
fact7 -> int2: もしこのぽやぽにLv.34が粘り強くないならばこのぽやぽにLv.34は立て難くてさらに遠し;
$facts$ = fact1: このぽやぽにLv.34は粘り強い fact2: もし仮にこのぽやぽにLv.34が立て難くて粘り強いとすればそのみくみにゅLv.48は遠しない fact3: このぽやぽにLv.34は立て難い fact4: もしこのぽやぽにLv.34が遠しならばそのみくみにゅLv.48は遠し fact5: 粘り強いということはないモンスターは立て難いし更に遠し fact6: そのみちゃみなLv.84は彼女らしくない ; $hypothesis$ = そのみくみにゅLv.48は遠し ; $proof$ = 
fact3 & fact1 -> int1: このぽやぽにLv.34は立て難いし粘り強い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__