the fact that the nutrient is a Swift and uniforms is false.
sent1: if the emcee is not modest the phasianid is modest but it is not uniformed. sent2: if something does not tick travelogue then that it does not tick sub-test and it is a kind of a D-day does not hold. sent3: that if there is something such that it is not sanitary that the aminoplast does not tick travelogue is true is correct. sent4: the fact that something ticks sub-test but it is not a D-day does not hold if it does not tick travelogue. sent5: that the aminoplast does tick sub-test and is not a D-day does not hold. sent6: the fact that the fact that the aminoplast does not tick sub-test but it is a kind of a D-day is false is true if it does not tick travelogue. sent7: that something does not tick sub-test and is not a D-day is false if it does not tick travelogue. sent8: the fact that the nutrient is a Swift and it uniforms does not hold if the phasianid is not a uniforms. sent9: there exists something such that the fact that it ticks sub-test and it is not a kind of a D-day is not correct. sent10: if there exists something such that the fact that it is not suborbital and is sanitary is not right the aminoplast does not tick travelogue. sent11: the nutrient does tick travelogue and it is a Swift. sent12: the emcee is not modest if there is something such that the fact that it does not tick sub-test and is not a D-day is wrong. sent13: there exists something such that it does not tick sub-test and it is not a D-day.
sent7 -> int1: the fact that the aminoplast does not tick sub-test and is not a D-day is not right if it does not tick travelogue.;
the nutrient is a Swift and it uniforms.
sent11 -> int2: the nutrient is a Swift.;
$hypothesis$ = the fact that the nutrient is a Swift and uniforms is false. ; $context$ = sent1: if the emcee is not modest the phasianid is modest but it is not uniformed. sent2: if something does not tick travelogue then that it does not tick sub-test and it is a kind of a D-day does not hold. sent3: that if there is something such that it is not sanitary that the aminoplast does not tick travelogue is true is correct. sent4: the fact that something ticks sub-test but it is not a D-day does not hold if it does not tick travelogue. sent5: that the aminoplast does tick sub-test and is not a D-day does not hold. sent6: the fact that the fact that the aminoplast does not tick sub-test but it is a kind of a D-day is false is true if it does not tick travelogue. sent7: that something does not tick sub-test and is not a D-day is false if it does not tick travelogue. sent8: the fact that the nutrient is a Swift and it uniforms does not hold if the phasianid is not a uniforms. sent9: there exists something such that the fact that it ticks sub-test and it is not a kind of a D-day is not correct. sent10: if there exists something such that the fact that it is not suborbital and is sanitary is not right the aminoplast does not tick travelogue. sent11: the nutrient does tick travelogue and it is a Swift. sent12: the emcee is not modest if there is something such that the fact that it does not tick sub-test and is not a D-day is wrong. sent13: there exists something such that it does not tick sub-test and it is not a D-day. ; $proof$ = 
sent7 -> int1: the fact that the aminoplast does not tick sub-test and is not a D-day is not right if it does not tick travelogue.; __UNKNOWN__