the bandwagon is not Rousseauan.
sent1: if that the blackfish cases and is not prosthodontic is right then that the mamoncillo does not cases is right. sent2: the sugarplum is not actuarial and it is not Rousseauan if the fact that it does not deduce have-not hold. sent3: if something is not a casing then it is non-Babylonian thing that does not tour. sent4: the cushion is puerperal if the endometrium is a blather. sent5: the silversword is non-Rousseauan. sent6: if a non-Babylonian thing is not a tour then it is not Rousseauan. sent7: the bandwagon is not a xylose. sent8: the bandwagon is not prosthodontic. sent9: something that is not a casing is non-Babylonian thing that is non-prosthodontic. sent10: the fact that the blackfish is not a casing and not non-Rousseauan does not hold if it is not prosthodontic. sent11: the bandwagon is not a casing and is not prosthodontic. sent12: something that is not Rousseauan is not prosthodontic and is not a casing. sent13: the kedgeree is not a tour. sent14: the symphysion is not Rousseauan.
sent3 -> int1: if the bandwagon is not a casing it is not a Babylonian and it is not a tour.; sent11 -> int2: the fact that the bandwagon does not case is not false.; int1 & int2 -> int3: the bandwagon is both not a Babylonian and not a tour.; sent6 -> int4: the bandwagon is not Rousseauan if it is not Babylonian and not a tour.; int3 & int4 -> hypothesis;
the mamoncillo is not a casing.
$hypothesis$ = the bandwagon is not Rousseauan. ; $context$ = sent1: if that the blackfish cases and is not prosthodontic is right then that the mamoncillo does not cases is right. sent2: the sugarplum is not actuarial and it is not Rousseauan if the fact that it does not deduce have-not hold. sent3: if something is not a casing then it is non-Babylonian thing that does not tour. sent4: the cushion is puerperal if the endometrium is a blather. sent5: the silversword is non-Rousseauan. sent6: if a non-Babylonian thing is not a tour then it is not Rousseauan. sent7: the bandwagon is not a xylose. sent8: the bandwagon is not prosthodontic. sent9: something that is not a casing is non-Babylonian thing that is non-prosthodontic. sent10: the fact that the blackfish is not a casing and not non-Rousseauan does not hold if it is not prosthodontic. sent11: the bandwagon is not a casing and is not prosthodontic. sent12: something that is not Rousseauan is not prosthodontic and is not a casing. sent13: the kedgeree is not a tour. sent14: the symphysion is not Rousseauan. ; $proof$ = 
sent3 -> int1: if the bandwagon is not a casing it is not a Babylonian and it is not a tour.; sent11 -> int2: the fact that the bandwagon does not case is not false.; int1 & int2 -> int3: the bandwagon is both not a Babylonian and not a tour.; sent6 -> int4: the bandwagon is not Rousseauan if it is not Babylonian and not a tour.; int3 & int4 -> hypothesis; __PROVED__