the periselene is not a canton.
sent1: the roundsman cantons if the periselene is not a cantons and is a kind of a gent. sent2: the periselene is a hair. sent3: the notebook is a canton. sent4: if the periselene is a fourteenth and is a bristlegrass it is not ankylotic. sent5: if the fact that the row is a canton hold then the periselene canton. sent6: if the fact that something is not undulatory is true then it is not a gent and/or it is a canton. sent7: the fact that the monolingual is both Gregorian and not hard is incorrect. sent8: something does not resent brace and is not Gregorian if it is not hard. sent9: the monolingual is a kind of non-hard thing that is a puttyroot. sent10: the anole is not undulatory. sent11: if a micropaleontology conglutinates then it does not lament. sent12: the gametoecium is both hard and Gregorian. sent13: the periselene is undulatory. sent14: the fact that the periselene does not syllogize pyrostat is true. sent15: the periselene does resent nowhere. sent16: if the periselene is a bulge that is a kind of a gent then it is not a knothole. sent17: something is not undulatory if it is a kind of a gent that cantons. sent18: something cantons if it is not a gent and/or is a cantons. sent19: the periselene is a gent. sent20: the pastoral is a kind of a gent and it is Merovingian.
void -> assump1: Let's assume that the periselene cantons.; sent19 & assump1 -> int1: the periselene is a gent and it is a kind of a canton.; sent17 -> int2: if the periselene is a kind of a gent and it is a kind of a canton then it is not undulatory.; int1 & int2 -> int3: that the periselene is not undulatory is true.; int3 & sent13 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the periselene cantons.
sent18 -> int5: the row cantons if it is not a gent and/or it is a cantons.; sent6 -> int6: if the row is not undulatory then it is not a gent or it is a canton or both.; sent8 -> int7: if the monolingual is not hard then it does not resent brace and it is not Gregorian.; sent9 -> int8: the monolingual is non-hard.; int7 & int8 -> int9: the monolingual does not resent brace and it is non-Gregorian.; int9 -> int10: something does not resent brace and is not Gregorian.;
$hypothesis$ = the periselene is not a canton. ; $context$ = sent1: the roundsman cantons if the periselene is not a cantons and is a kind of a gent. sent2: the periselene is a hair. sent3: the notebook is a canton. sent4: if the periselene is a fourteenth and is a bristlegrass it is not ankylotic. sent5: if the fact that the row is a canton hold then the periselene canton. sent6: if the fact that something is not undulatory is true then it is not a gent and/or it is a canton. sent7: the fact that the monolingual is both Gregorian and not hard is incorrect. sent8: something does not resent brace and is not Gregorian if it is not hard. sent9: the monolingual is a kind of non-hard thing that is a puttyroot. sent10: the anole is not undulatory. sent11: if a micropaleontology conglutinates then it does not lament. sent12: the gametoecium is both hard and Gregorian. sent13: the periselene is undulatory. sent14: the fact that the periselene does not syllogize pyrostat is true. sent15: the periselene does resent nowhere. sent16: if the periselene is a bulge that is a kind of a gent then it is not a knothole. sent17: something is not undulatory if it is a kind of a gent that cantons. sent18: something cantons if it is not a gent and/or is a cantons. sent19: the periselene is a gent. sent20: the pastoral is a kind of a gent and it is Merovingian. ; $proof$ = 
void -> assump1: Let's assume that the periselene cantons.; sent19 & assump1 -> int1: the periselene is a gent and it is a kind of a canton.; sent17 -> int2: if the periselene is a kind of a gent and it is a kind of a canton then it is not undulatory.; int1 & int2 -> int3: that the periselene is not undulatory is true.; int3 & sent13 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__