あのもいもわLv.68は止み難い
fact1: あのもいもわLv.68は嘲り笑う fact2: もしあのもいもわLv.68は単離出来るし加えて嘲り笑うとするとそれは止み難くない fact3: もしこのぽえぽにLv.43が使い熟すならあのもいもわLv.68は単離出来る fact4: このぽえぽにLv.43は使い熟す
fact3 & fact4 -> int1: あのもいもわLv.68は単離出来る; int1 & fact1 -> int2: あのもいもわLv.68は単離出来るしまたそれは嘲り笑う; int2 & fact2 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: あのもいもわLv.68は嘲り笑う fact2: もしあのもいもわLv.68は単離出来るし加えて嘲り笑うとするとそれは止み難くない fact3: もしこのぽえぽにLv.43が使い熟すならあのもいもわLv.68は単離出来る fact4: このぽえぽにLv.43は使い熟す ; $hypothesis$ = あのもいもわLv.68は止み難い ; $proof$ = 
fact3 & fact4 -> int1: あのもいもわLv.68は単離出来る; int1 & fact1 -> int2: あのもいもわLv.68は単離出来るしまたそれは嘲り笑う; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis; __DISPROVED__