the Kakemono is not a Moroccan.
sent1: the wallpaper does beckon Ecuadorian. sent2: the ladybug is psychogenetic. sent3: the Kakemono is a patrician if that it is not a kind of a American is not wrong. sent4: there exists something such that it does diphthongize. sent5: there exists something such that it is clinker-built. sent6: if there is something such that it does not diphthongize then the subsidiary does beckon diapedesis. sent7: something is clinker-built if that it is a kind of a patrician is true. sent8: if the fact that the wallpaper does beckon Ecuadorian and/or it is not a kind of a Swiss is false the Kakemono is not American. sent9: the fact that the wallpaper does not beckon Ecuadorian and/or it is non-Swiss is not true. sent10: if the fact that that the wallpaper does not beckon Ecuadorian and/or it is not a Swiss is incorrect is correct then the fact that the Kakemono is not a kind of a American is true. sent11: the subsidiary is psychogenetic if it does beckon diapedesis. sent12: if the wallpaper is a patrician but not Moroccan the Kakemono is Moroccan. sent13: if something that is clinker-built does beckon candytuft then the fact that the subsidiary is not psychogenetic is right. sent14: if something does not beckon candytuft that it is not a Moroccan hold.
sent10 & sent9 -> int1: the Kakemono is not a American.; int1 & sent3 -> int2: the Kakemono is a kind of a patrician.; sent7 -> int3: the Kakemono is clinker-built if it is a patrician.; int2 & int3 -> int4: the fact that the Kakemono is clinker-built is not incorrect.; void -> assump1: Let's assume that the Kakemono does beckon candytuft.; int4 & assump1 -> int5: the Kakemono is a kind of clinker-built thing that beckons candytuft.; int5 -> int6: something is clinker-built and it does beckon candytuft.; int6 & sent13 -> int7: the subsidiary is not psychogenetic.; sent14 -> int8: the fact that the Kakemono is not a kind of a Moroccan hold if it does not beckon candytuft.;
the Kakemono is a kind of a Moroccan.
sent2 -> int9: there is something such that it is psychogenetic.;
$hypothesis$ = the Kakemono is not a Moroccan. ; $context$ = sent1: the wallpaper does beckon Ecuadorian. sent2: the ladybug is psychogenetic. sent3: the Kakemono is a patrician if that it is not a kind of a American is not wrong. sent4: there exists something such that it does diphthongize. sent5: there exists something such that it is clinker-built. sent6: if there is something such that it does not diphthongize then the subsidiary does beckon diapedesis. sent7: something is clinker-built if that it is a kind of a patrician is true. sent8: if the fact that the wallpaper does beckon Ecuadorian and/or it is not a kind of a Swiss is false the Kakemono is not American. sent9: the fact that the wallpaper does not beckon Ecuadorian and/or it is non-Swiss is not true. sent10: if the fact that that the wallpaper does not beckon Ecuadorian and/or it is not a Swiss is incorrect is correct then the fact that the Kakemono is not a kind of a American is true. sent11: the subsidiary is psychogenetic if it does beckon diapedesis. sent12: if the wallpaper is a patrician but not Moroccan the Kakemono is Moroccan. sent13: if something that is clinker-built does beckon candytuft then the fact that the subsidiary is not psychogenetic is right. sent14: if something does not beckon candytuft that it is not a Moroccan hold. ; $proof$ = 
sent10 & sent9 -> int1: the Kakemono is not a American.; int1 & sent3 -> int2: the Kakemono is a kind of a patrician.; sent7 -> int3: the Kakemono is clinker-built if it is a patrician.; int2 & int3 -> int4: the fact that the Kakemono is clinker-built is not incorrect.; void -> assump1: Let's assume that the Kakemono does beckon candytuft.; int4 & assump1 -> int5: the Kakemono is a kind of clinker-built thing that beckons candytuft.; int5 -> int6: something is clinker-built and it does beckon candytuft.; int6 & sent13 -> int7: the subsidiary is not psychogenetic.; sent14 -> int8: the fact that the Kakemono is not a kind of a Moroccan hold if it does not beckon candytuft.; __UNKNOWN__