the alanine is not bathymetric.
sent1: something does not rake Cicadidae but it is a rectangle. sent2: the causeway is a mobile and a wilt. sent3: the fact that the pyocyanin is not bathymetric and pleats Talpidae does not hold. sent4: The Talpidae pleats pyocyanin. sent5: the fact that the alanine is not bathymetric and does rake Cicadidae is not correct. sent6: if the Sotho is non-corvine and a abhorrer then the fact that it is not buccal is correct. sent7: if something is a doorkeeper then the fact that the pyocyanin does pleat Talpidae and is duodenal is wrong. sent8: the fact that the pyocyanin does not rake Cicadidae but it is a kind of a rectangle is not correct if it pleats Talpidae. sent9: the pyocyanin pleats Talpidae. sent10: something that conducts is a doorkeeper. sent11: the fact that the fairy is unknown and/or unforgettable is false if the Sotho is not buccal. sent12: the alanine is not bathymetric if there is something such that that it does not rake Cicadidae and is a rectangle is wrong. sent13: if there exists something such that that it does not rake Cicadidae and it does pleat Talpidae is not right then the pyocyanin is not bathymetric. sent14: something that blocks metronome is a abhorrer. sent15: if the causeway is a mobile and it is a wilt the Sotho is not corvine. sent16: if there is something such that that it is unknown and/or it is not forgettable is false the metronome does conduct. sent17: the fact that the Sotho does block metronome and is not a titanium is correct.
sent8 & sent9 -> int1: the fact that the pyocyanin does not rake Cicadidae and is a kind of a rectangle is not true.; int1 -> int2: there exists something such that that it does not rake Cicadidae and is a rectangle is incorrect.; int2 & sent12 -> hypothesis;
the alanine is not non-bathymetric.
sent10 -> int3: that the metronome is a doorkeeper is not false if it conducts.; sent15 & sent2 -> int4: the Sotho is not corvine.; sent14 -> int5: the Sotho is a kind of a abhorrer if it blocks metronome.; sent17 -> int6: the Sotho does block metronome.; int5 & int6 -> int7: the Sotho is a kind of a abhorrer.; int4 & int7 -> int8: the Sotho is not corvine but it is a abhorrer.; sent6 & int8 -> int9: the Sotho is not buccal.; sent11 & int9 -> int10: that the fairy is an unknown and/or it is not forgettable is not correct.; int10 -> int11: there exists something such that the fact that it is a kind of an unknown and/or it is not forgettable does not hold.; int11 & sent16 -> int12: the metronome does conduct.; int3 & int12 -> int13: the metronome is a kind of a doorkeeper.; int13 -> int14: something is a doorkeeper.; int14 & sent7 -> int15: that the pyocyanin pleats Talpidae and is duodenal is wrong.; int15 -> int16: there exists something such that that it does pleat Talpidae and it is duodenal is wrong.;
$hypothesis$ = the alanine is not bathymetric. ; $context$ = sent1: something does not rake Cicadidae but it is a rectangle. sent2: the causeway is a mobile and a wilt. sent3: the fact that the pyocyanin is not bathymetric and pleats Talpidae does not hold. sent4: The Talpidae pleats pyocyanin. sent5: the fact that the alanine is not bathymetric and does rake Cicadidae is not correct. sent6: if the Sotho is non-corvine and a abhorrer then the fact that it is not buccal is correct. sent7: if something is a doorkeeper then the fact that the pyocyanin does pleat Talpidae and is duodenal is wrong. sent8: the fact that the pyocyanin does not rake Cicadidae but it is a kind of a rectangle is not correct if it pleats Talpidae. sent9: the pyocyanin pleats Talpidae. sent10: something that conducts is a doorkeeper. sent11: the fact that the fairy is unknown and/or unforgettable is false if the Sotho is not buccal. sent12: the alanine is not bathymetric if there is something such that that it does not rake Cicadidae and is a rectangle is wrong. sent13: if there exists something such that that it does not rake Cicadidae and it does pleat Talpidae is not right then the pyocyanin is not bathymetric. sent14: something that blocks metronome is a abhorrer. sent15: if the causeway is a mobile and it is a wilt the Sotho is not corvine. sent16: if there is something such that that it is unknown and/or it is not forgettable is false the metronome does conduct. sent17: the fact that the Sotho does block metronome and is not a titanium is correct. ; $proof$ = 
sent8 & sent9 -> int1: the fact that the pyocyanin does not rake Cicadidae and is a kind of a rectangle is not true.; int1 -> int2: there exists something such that that it does not rake Cicadidae and is a rectangle is incorrect.; int2 & sent12 -> hypothesis; __PROVED__