the glucagon is not prenatal.
sent1: if something is not gladiatorial it is an incident. sent2: there exists something such that it is not a kind of a rotary. sent3: if the fact that something does lob silhouette and is not rotary is false then it does uncover. sent4: the primordium does lob cohesiveness and is not prenatal if it does not digitize farm. sent5: that the silhouette is a kind of equivocal a Ismailism is incorrect. sent6: the shofar is not prenatal if the primordium does uncover but it is not prenatal. sent7: something is an incident that does not uncover. sent8: the primordium is not a snivel and it does not edge wheedler. sent9: the primordium does not digitize farm if it is not a kind of a snivel and it does not edge wheedler. sent10: that something lobs silhouette but it is non-rotary is wrong if it is not a AI. sent11: the silhouette is not a Ismailism. sent12: the glucagon is not prenatal if an incident thing is not tamed. sent13: the silhouette is not tamed if it does not uncover. sent14: that something is equivocal and is not a Ismailism is false if that it is gladiatorial is not incorrect. sent15: if the shofar is not an incident then that the glucagon is prenatal and it is gladiatorial hold. sent16: if there are incident things then the foster-daughter is not gladiatorial. sent17: the glucagon is an incident and it is tamed if the shofar is not prenatal. sent18: if the caramel does uncover the primordium does uncover. sent19: that that the petrel edges Aesculus and it is a kind of a Episcopalian is not right is correct. sent20: the fact that something is equivocal and is a Ismailism does not hold if it is gladiatorial. sent21: something does not uncover and it is not tamed if it does not lob silhouette. sent22: there is something such that it is incident. sent23: the silhouette is both equivocal and not a Ismailism. sent24: if there exists something such that that it edges Aesculus and it is a Episcopalian does not hold the caramel is not a AI. sent25: the silhouette does not uncover.
sent14 -> int1: that the silhouette is equivocal thing that is not a kind of a Ismailism is not correct if it is gladiatorial.; void -> assump1: Let's assume that the silhouette is gladiatorial.; int1 & assump1 -> int2: that the silhouette is equivocal but it is not a kind of a Ismailism is not correct.; int2 & sent23 -> int3: this is contradiction.; [assump1] & int3 -> int4: the silhouette is not gladiatorial.; sent1 -> int5: the silhouette is incident if the fact that it is not gladiatorial hold.; int4 & int5 -> int6: the fact that the silhouette is not non-incident is not false.; sent13 & sent25 -> int7: the silhouette is not tamed.; int6 & int7 -> int8: the silhouette is a kind of an incident but it does not tame.; int8 -> int9: there is something such that it is incident and it is not tamed.; int9 & sent12 -> hypothesis;
the foster-daughter is not gladiatorial.
sent3 -> int10: if that the caramel lobs silhouette and is not a rotary is false it does uncover.; sent10 -> int11: if the caramel is not a AI then the fact that it does lob silhouette and it is not a rotary does not hold.; sent19 -> int12: that there exists something such that that it edges Aesculus and it is a Episcopalian does not hold hold.; int12 & sent24 -> int13: the caramel is not a kind of a AI.; int11 & int13 -> int14: that the caramel lobs silhouette but it is non-rotary does not hold.; int10 & int14 -> int15: the caramel uncovers.; sent18 & int15 -> int16: the primordium does uncover.; sent9 & sent8 -> int17: the primordium does not digitize farm.; sent4 & int17 -> int18: the primordium does lob cohesiveness but it is not prenatal.; int18 -> int19: the primordium is not prenatal.; int16 & int19 -> int20: the primordium does uncover and is not prenatal.; sent6 & int20 -> int21: the shofar is not prenatal.; sent17 & int21 -> int22: the glucagon is an incident and it is tamed.; int22 -> int23: the glucagon is a kind of an incident.; int23 -> int24: there is something such that it is not non-incident.; int24 & sent16 -> hypothesis;
$hypothesis$ = the glucagon is not prenatal. ; $context$ = sent1: if something is not gladiatorial it is an incident. sent2: there exists something such that it is not a kind of a rotary. sent3: if the fact that something does lob silhouette and is not rotary is false then it does uncover. sent4: the primordium does lob cohesiveness and is not prenatal if it does not digitize farm. sent5: that the silhouette is a kind of equivocal a Ismailism is incorrect. sent6: the shofar is not prenatal if the primordium does uncover but it is not prenatal. sent7: something is an incident that does not uncover. sent8: the primordium is not a snivel and it does not edge wheedler. sent9: the primordium does not digitize farm if it is not a kind of a snivel and it does not edge wheedler. sent10: that something lobs silhouette but it is non-rotary is wrong if it is not a AI. sent11: the silhouette is not a Ismailism. sent12: the glucagon is not prenatal if an incident thing is not tamed. sent13: the silhouette is not tamed if it does not uncover. sent14: that something is equivocal and is not a Ismailism is false if that it is gladiatorial is not incorrect. sent15: if the shofar is not an incident then that the glucagon is prenatal and it is gladiatorial hold. sent16: if there are incident things then the foster-daughter is not gladiatorial. sent17: the glucagon is an incident and it is tamed if the shofar is not prenatal. sent18: if the caramel does uncover the primordium does uncover. sent19: that that the petrel edges Aesculus and it is a kind of a Episcopalian is not right is correct. sent20: the fact that something is equivocal and is a Ismailism does not hold if it is gladiatorial. sent21: something does not uncover and it is not tamed if it does not lob silhouette. sent22: there is something such that it is incident. sent23: the silhouette is both equivocal and not a Ismailism. sent24: if there exists something such that that it edges Aesculus and it is a Episcopalian does not hold the caramel is not a AI. sent25: the silhouette does not uncover. ; $proof$ = 
sent14 -> int1: that the silhouette is equivocal thing that is not a kind of a Ismailism is not correct if it is gladiatorial.; void -> assump1: Let's assume that the silhouette is gladiatorial.; int1 & assump1 -> int2: that the silhouette is equivocal but it is not a kind of a Ismailism is not correct.; int2 & sent23 -> int3: this is contradiction.; [assump1] & int3 -> int4: the silhouette is not gladiatorial.; sent1 -> int5: the silhouette is incident if the fact that it is not gladiatorial hold.; int4 & int5 -> int6: the fact that the silhouette is not non-incident is not false.; sent13 & sent25 -> int7: the silhouette is not tamed.; int6 & int7 -> int8: the silhouette is a kind of an incident but it does not tame.; int8 -> int9: there is something such that it is incident and it is not tamed.; int9 & sent12 -> hypothesis; __PROVED__