the crack is unservile or it trolls grotesque or both.
sent1: if something is not epiphytic it is both a shakedown and choreographic. sent2: if there is something such that the fact that it does troll grotesque and is not ichorous is wrong the hop is ichorous. sent3: if the fact that the tangor does troll hop hold the habit waves rondelet. sent4: if the crack is a Angola but it does not wave rondelet then it is ichorous. sent5: the crack does troll grotesque if it does shrink. sent6: the crack does not wave rondelet. sent7: something is unservile if it is ichorous. sent8: something waves rondelet but it is not a Angola if it does not troll hop. sent9: if something is not inattentive it does troll hop and it is a kind of a Mayflower. sent10: the tangor is not inattentive if there exists something such that that it is choreographic is not incorrect. sent11: if something is a kind of a cephalothin and/or it does protuberate giro then it is non-epiphytic. sent12: that everything either is a cephalothin or does protuberate giro or both is not false. sent13: if there exists something such that it does wave rondelet the acrobat is not unservile. sent14: the bloater is a Angola if the hop is not non-ichorous. sent15: that something does troll grotesque but it is not ichorous is not true if it is not unservile. sent16: the crack is ichorous if it is a Angola and does wave rondelet. sent17: the crack is a Alca. sent18: the partridge is a self if it is a Angola that is not a barbershop. sent19: the crack is a Angola and does not wave rondelet.
sent7 -> int1: if the crack is ichorous it is unservile.; sent4 & sent19 -> int2: the crack is ichorous.; int1 & int2 -> int3: the crack is unservile.; int3 -> hypothesis;
the bloater is a Angola.
sent11 -> int4: if the grotesque is a cephalothin and/or does protuberate giro it is not epiphytic.; sent12 -> int5: either the grotesque is a cephalothin or it protuberates giro or both.; int4 & int5 -> int6: the grotesque is not epiphytic.; int6 -> int7: everything is not epiphytic.; int7 -> int8: the gull is non-epiphytic.; sent1 -> int9: if the gull is not epiphytic then it is shakedown and not non-choreographic.; int8 & int9 -> int10: the gull is a kind of shakedown thing that is choreographic.; int10 -> int11: the gull is choreographic.; int11 -> int12: there exists something such that it is choreographic.; sent10 & int12 -> int13: the tangor is not inattentive.; sent9 -> int14: the tangor trolls hop and is a Mayflower if it is not inattentive.; int13 & int14 -> int15: the tangor does troll hop and is a Mayflower.; int15 -> int16: the tangor does troll hop.; sent3 & int16 -> int17: the habit does wave rondelet.; int17 -> int18: something waves rondelet.; sent13 & int18 -> int19: the acrobat is not unservile.; sent15 -> int20: that the fact that the acrobat does troll grotesque and is non-ichorous is not wrong is not correct if it is not unservile.; int19 & int20 -> int21: the fact that the acrobat trolls grotesque but it is not ichorous is false.; int21 -> int22: there is something such that the fact that it trolls grotesque and it is not ichorous does not hold.; sent2 & int22 -> int23: the hop is ichorous.; int23 & sent14 -> hypothesis;
$hypothesis$ = the crack is unservile or it trolls grotesque or both. ; $context$ = sent1: if something is not epiphytic it is both a shakedown and choreographic. sent2: if there is something such that the fact that it does troll grotesque and is not ichorous is wrong the hop is ichorous. sent3: if the fact that the tangor does troll hop hold the habit waves rondelet. sent4: if the crack is a Angola but it does not wave rondelet then it is ichorous. sent5: the crack does troll grotesque if it does shrink. sent6: the crack does not wave rondelet. sent7: something is unservile if it is ichorous. sent8: something waves rondelet but it is not a Angola if it does not troll hop. sent9: if something is not inattentive it does troll hop and it is a kind of a Mayflower. sent10: the tangor is not inattentive if there exists something such that that it is choreographic is not incorrect. sent11: if something is a kind of a cephalothin and/or it does protuberate giro then it is non-epiphytic. sent12: that everything either is a cephalothin or does protuberate giro or both is not false. sent13: if there exists something such that it does wave rondelet the acrobat is not unservile. sent14: the bloater is a Angola if the hop is not non-ichorous. sent15: that something does troll grotesque but it is not ichorous is not true if it is not unservile. sent16: the crack is ichorous if it is a Angola and does wave rondelet. sent17: the crack is a Alca. sent18: the partridge is a self if it is a Angola that is not a barbershop. sent19: the crack is a Angola and does not wave rondelet. ; $proof$ = 
sent7 -> int1: if the crack is ichorous it is unservile.; sent4 & sent19 -> int2: the crack is ichorous.; int1 & int2 -> int3: the crack is unservile.; int3 -> hypothesis; __PROVED__