the hymen is facial.
sent1: there exists something such that it is a Kurd. sent2: the hymen does frisk fistfight if the spadefoot does not offset avatar. sent3: if the gelechiid is a facial the hymen is facial. sent4: if something that is a Kurd is two-piece the spadefoot does not offset avatar. sent5: if the gelechiid is a glider then it is two-piece. sent6: there is something such that it summarizes incineration. sent7: the hymen frisks fistfight. sent8: there is something such that that it is a kind of a two-piece is not incorrect. sent9: the gelechiid is a glider if there exists something such that it offsets exporting. sent10: something is a Kurd if it is cataclinal. sent11: the hymen does frisk fistfight and is a hypotonicity if the spadefoot does not offset avatar. sent12: the gelechiid summarizes incineration. sent13: the gelechiid does grumble and does summarize incineration. sent14: if something is a grumble then that it is cataclinal is true. sent15: the geode is haptic and it is a Kurd. sent16: if something that frisks fistfight is a hypotonicity then it is not a facial. sent17: something does offset exporting.
sent13 -> int1: the gelechiid is a grumble.; sent14 -> int2: if the gelechiid is a grumble then it is cataclinal.; int1 & int2 -> int3: the gelechiid is cataclinal.; sent10 -> int4: if the gelechiid is cataclinal it is a Kurd.; int3 & int4 -> int5: the gelechiid is a kind of a Kurd.; sent17 & sent9 -> int6: the gelechiid is a glider.; sent5 & int6 -> int7: the gelechiid is a two-piece.; int5 & int7 -> int8: the gelechiid is a kind of a Kurd that is a two-piece.; int8 -> int9: something is a kind of a Kurd and is a two-piece.; int9 & sent4 -> int10: the spadefoot does not offset avatar.; int10 & sent11 -> int11: the hymen does frisk fistfight and is a hypotonicity.; sent16 -> int12: if the hymen does frisk fistfight and is a hypotonicity then the fact that it is not facial is right.; int11 & int12 -> hypothesis;
the hymen is a kind of a facial.
$hypothesis$ = the hymen is facial. ; $context$ = sent1: there exists something such that it is a Kurd. sent2: the hymen does frisk fistfight if the spadefoot does not offset avatar. sent3: if the gelechiid is a facial the hymen is facial. sent4: if something that is a Kurd is two-piece the spadefoot does not offset avatar. sent5: if the gelechiid is a glider then it is two-piece. sent6: there is something such that it summarizes incineration. sent7: the hymen frisks fistfight. sent8: there is something such that that it is a kind of a two-piece is not incorrect. sent9: the gelechiid is a glider if there exists something such that it offsets exporting. sent10: something is a Kurd if it is cataclinal. sent11: the hymen does frisk fistfight and is a hypotonicity if the spadefoot does not offset avatar. sent12: the gelechiid summarizes incineration. sent13: the gelechiid does grumble and does summarize incineration. sent14: if something is a grumble then that it is cataclinal is true. sent15: the geode is haptic and it is a Kurd. sent16: if something that frisks fistfight is a hypotonicity then it is not a facial. sent17: something does offset exporting. ; $proof$ = 
sent13 -> int1: the gelechiid is a grumble.; sent14 -> int2: if the gelechiid is a grumble then it is cataclinal.; int1 & int2 -> int3: the gelechiid is cataclinal.; sent10 -> int4: if the gelechiid is cataclinal it is a Kurd.; int3 & int4 -> int5: the gelechiid is a kind of a Kurd.; sent17 & sent9 -> int6: the gelechiid is a glider.; sent5 & int6 -> int7: the gelechiid is a two-piece.; int5 & int7 -> int8: the gelechiid is a kind of a Kurd that is a two-piece.; int8 -> int9: something is a kind of a Kurd and is a two-piece.; int9 & sent4 -> int10: the spadefoot does not offset avatar.; int10 & sent11 -> int11: the hymen does frisk fistfight and is a hypotonicity.; sent16 -> int12: if the hymen does frisk fistfight and is a hypotonicity then the fact that it is not facial is right.; int11 & int12 -> hypothesis; __DISPROVED__