that the syncopator is a welding if the dentifrice does plate surfboat is not incorrect.
sent1: if the dentifrice does build it does plate surfboat. sent2: the dentifrice does weld if the syncopator plates surfboat. sent3: if the dentifrice does build the syncopator does plate surfboat. sent4: the fairlead builds. sent5: the dentifrice does term dentifrice. sent6: that the dentifrice is Yeatsian is not incorrect if it limes syncopator. sent7: the syncopator does plate surfboat if the dentifrice is a kind of a welding. sent8: if the dentifrice couples then that the syncopator terms toasting hold. sent9: if the dentifrice does weld then the syncopator builds. sent10: the shuffler builds. sent11: if the syncopator is a welding the dentifrice builds. sent12: the syncopator is a kind of a Vespasian. sent13: if the dentifrice is a thorium then the syncopator is a welding. sent14: the syncopator does build if the dentifrice does plate surfboat. sent15: the dentifrice is a kind of a probable. sent16: if the syncopator builds then it is a welding. sent17: if the syncopator plates surfboat then that the dentifrice builds is true. sent18: the mamo does plate surfboat. sent19: the dentifrice does plate Hawaiian. sent20: if the dentifrice builds then the syncopator is a welding. sent21: the garrote builds.
void -> assump1: Let's assume that the dentifrice does plate surfboat.; sent14 & assump1 -> int1: the syncopator builds.; int1 & sent16 -> int2: the syncopator does weld.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the syncopator is a welding if the dentifrice does plate surfboat is not incorrect. ; $context$ = sent1: if the dentifrice does build it does plate surfboat. sent2: the dentifrice does weld if the syncopator plates surfboat. sent3: if the dentifrice does build the syncopator does plate surfboat. sent4: the fairlead builds. sent5: the dentifrice does term dentifrice. sent6: that the dentifrice is Yeatsian is not incorrect if it limes syncopator. sent7: the syncopator does plate surfboat if the dentifrice is a kind of a welding. sent8: if the dentifrice couples then that the syncopator terms toasting hold. sent9: if the dentifrice does weld then the syncopator builds. sent10: the shuffler builds. sent11: if the syncopator is a welding the dentifrice builds. sent12: the syncopator is a kind of a Vespasian. sent13: if the dentifrice is a thorium then the syncopator is a welding. sent14: the syncopator does build if the dentifrice does plate surfboat. sent15: the dentifrice is a kind of a probable. sent16: if the syncopator builds then it is a welding. sent17: if the syncopator plates surfboat then that the dentifrice builds is true. sent18: the mamo does plate surfboat. sent19: the dentifrice does plate Hawaiian. sent20: if the dentifrice builds then the syncopator is a welding. sent21: the garrote builds. ; $proof$ = 
void -> assump1: Let's assume that the dentifrice does plate surfboat.; sent14 & assump1 -> int1: the syncopator builds.; int1 & sent16 -> int2: the syncopator does weld.; [assump1] & int2 -> hypothesis; __PROVED__