the multiplication is a slumgullion.
sent1: if the multiplication does not blinker Schnabel it is a kind of a vice-regent. sent2: if the fact that something is both a vice-regent and not most is incorrect then it persists. sent3: if something is a firefly that it is not most and is not a kind of a slumgullion does not hold. sent4: the fact that the multiplication is a Tanzanian but it is not most is not correct. sent5: if something does knot Apsu then that it is Aleutians is correct. sent6: the multiplication is not most. sent7: if the multiplication is not most then the fact that it persists and it is not a vice-regent is incorrect. sent8: something condescends or it does not knot leatherwork or both. sent9: if the federalist is Aleutians then the flip-flop is Aleutians. sent10: the mesomorph is a vice-regent. sent11: if something is Aleutians it is a kind of a firefly. sent12: if the Teleprompter is not a schrod the federalist knots Apsu and it is a woodenware. sent13: if the fact that something persists but it is not a vice-regent is not correct it is a kind of a slumgullion. sent14: the fact that the fact that the multiplication is a kind of the vice-regent but it does not depart is not true if the multiplication is not a footballer hold. sent15: the multiplication is a slumgullion if that it does not persist is correct. sent16: if the fact that something inputs but it is not a Kishar is not true it is a kind of a caroling. sent17: if something is not a firefly it is not a kind of a slumgullion and is not most. sent18: the fact that the Teleprompter is not a schrod is not false if something does condescend or it does not knot leatherwork or both. sent19: the fact that the leatherwork is azimuthal is correct if the fact that it is a vice-regent and it is not a laxative is wrong.
sent13 -> int1: if the fact that the multiplication persists but it is not a vice-regent is incorrect then it is a slumgullion.; sent7 & sent6 -> int2: the fact that the multiplication persists and is not a vice-regent is wrong.; int1 & int2 -> hypothesis;
the multiplication is not a slumgullion.
sent17 -> int3: if that the multiplication is not a kind of a firefly is correct it is not a slumgullion and is not most.;
$hypothesis$ = the multiplication is a slumgullion. ; $context$ = sent1: if the multiplication does not blinker Schnabel it is a kind of a vice-regent. sent2: if the fact that something is both a vice-regent and not most is incorrect then it persists. sent3: if something is a firefly that it is not most and is not a kind of a slumgullion does not hold. sent4: the fact that the multiplication is a Tanzanian but it is not most is not correct. sent5: if something does knot Apsu then that it is Aleutians is correct. sent6: the multiplication is not most. sent7: if the multiplication is not most then the fact that it persists and it is not a vice-regent is incorrect. sent8: something condescends or it does not knot leatherwork or both. sent9: if the federalist is Aleutians then the flip-flop is Aleutians. sent10: the mesomorph is a vice-regent. sent11: if something is Aleutians it is a kind of a firefly. sent12: if the Teleprompter is not a schrod the federalist knots Apsu and it is a woodenware. sent13: if the fact that something persists but it is not a vice-regent is not correct it is a kind of a slumgullion. sent14: the fact that the fact that the multiplication is a kind of the vice-regent but it does not depart is not true if the multiplication is not a footballer hold. sent15: the multiplication is a slumgullion if that it does not persist is correct. sent16: if the fact that something inputs but it is not a Kishar is not true it is a kind of a caroling. sent17: if something is not a firefly it is not a kind of a slumgullion and is not most. sent18: the fact that the Teleprompter is not a schrod is not false if something does condescend or it does not knot leatherwork or both. sent19: the fact that the leatherwork is azimuthal is correct if the fact that it is a vice-regent and it is not a laxative is wrong. ; $proof$ = 
sent13 -> int1: if the fact that the multiplication persists but it is not a vice-regent is incorrect then it is a slumgullion.; sent7 & sent6 -> int2: the fact that the multiplication persists and is not a vice-regent is wrong.; int1 & int2 -> hypothesis; __PROVED__