the grotto does put.
sent1: if a non-homosexual thing is not migratory the soil is crosswise. sent2: the fraise is not non-crosswise. sent3: that something is carcinogenic but it is not harsh is true if it is not an awe. sent4: if there exists something such that it is lowborn the fact that the biochip does not interleave Ptilocercus and is not lowborn does not hold. sent5: if something is a kind of a perissodactyl then it does not interleave ianfu. sent6: the grotto does put if the soil is a sectionalism. sent7: the choragus does interleave Christchurch. sent8: the biochip is not an awe if the fact that it does not interleave Ptilocercus and is not lowborn is not true. sent9: if something is carcinogenic but it is not harsh the fact that the centipede does not contradistinguish tailpipe is true. sent10: something that is a homosexual is crosswise. sent11: the homeowner is crosswise. sent12: something is lowborn if it does interleave Christchurch. sent13: the soil is crosswise if the fraise is a sectionalism. sent14: if the soil is crosswise then the fact that the fraise does put and is not a sectionalism is not true. sent15: if something does not interleave ianfu it is not a homosexual but nonmigratory. sent16: if the centipede does not contradistinguish tailpipe the linesman is a perissodactyl and it is a wog. sent17: the grotto is crosswise. sent18: the soil is a sectionalism if the fraise is crosswise.
sent18 & sent2 -> int1: the soil is a kind of a sectionalism.; sent6 & int1 -> hypothesis;
the spherocyte is a sectionalism.
sent10 -> int2: if the spherocyte is a homosexual then it is crosswise.;
$hypothesis$ = the grotto does put. ; $context$ = sent1: if a non-homosexual thing is not migratory the soil is crosswise. sent2: the fraise is not non-crosswise. sent3: that something is carcinogenic but it is not harsh is true if it is not an awe. sent4: if there exists something such that it is lowborn the fact that the biochip does not interleave Ptilocercus and is not lowborn does not hold. sent5: if something is a kind of a perissodactyl then it does not interleave ianfu. sent6: the grotto does put if the soil is a sectionalism. sent7: the choragus does interleave Christchurch. sent8: the biochip is not an awe if the fact that it does not interleave Ptilocercus and is not lowborn is not true. sent9: if something is carcinogenic but it is not harsh the fact that the centipede does not contradistinguish tailpipe is true. sent10: something that is a homosexual is crosswise. sent11: the homeowner is crosswise. sent12: something is lowborn if it does interleave Christchurch. sent13: the soil is crosswise if the fraise is a sectionalism. sent14: if the soil is crosswise then the fact that the fraise does put and is not a sectionalism is not true. sent15: if something does not interleave ianfu it is not a homosexual but nonmigratory. sent16: if the centipede does not contradistinguish tailpipe the linesman is a perissodactyl and it is a wog. sent17: the grotto is crosswise. sent18: the soil is a sectionalism if the fraise is crosswise. ; $proof$ = 
sent18 & sent2 -> int1: the soil is a kind of a sectionalism.; sent6 & int1 -> hypothesis; __PROVED__