the aphanite is a kind of a dilution.
sent1: the personification is not a arsine. sent2: if the fact that that the compote is not a layout and is not inshore does not hold is not wrong it is not a generic. sent3: the aphanite is a chute-the-chute. sent4: something that does not defoliate Castile and is not cartographic is not rocky. sent5: if something is not rocky that it is a kind of a swoosh that is orthodontics does not hold. sent6: the aphanite transports if the personification is a chute-the-chute. sent7: the personification is a chute-the-chute if it is not a kind of a arsine. sent8: if that something does transport is not false it is a dilution. sent9: the fact that that the compote is not a layout and it is not inshore is not right hold if it is phonetics. sent10: the compote is phonetics. sent11: something is not a dilution if that it is a arsine and is a chute-the-chute is not right. sent12: if that something is a swoosh that is orthodontics is not right then it is not a transport. sent13: if the compote is non-generic the personification does not defoliate Castile and is not cartographic. sent14: the aphanite is a arsine if it is not a kind of a transport.
sent7 & sent1 -> int1: the personification is a chute-the-chute.; int1 & sent6 -> int2: the aphanite is a transport.; sent8 -> int3: if the fact that the aphanite is a kind of a transport hold it is a dilution.; int2 & int3 -> hypothesis;
the aphanite is not a dilution.
sent11 -> int4: the aphanite is not a dilution if that it is a arsine that is a chute-the-chute does not hold.; sent12 -> int5: the personification is not a transport if that it is a swoosh and orthodontics is not correct.; sent5 -> int6: that the personification is a swoosh and it is orthodontics is false if it is not rocky.; sent4 -> int7: if that the personification does not defoliate Castile and it is not cartographic is correct that it is not rocky is not false.; sent9 & sent10 -> int8: that the compote is not a layout and is not inshore is not right.; sent2 & int8 -> int9: the compote is not a generic.; sent13 & int9 -> int10: the personification does not defoliate Castile and is not cartographic.; int7 & int10 -> int11: the personification is not rocky.; int6 & int11 -> int12: the fact that the personification is a swoosh and it is orthodontics does not hold.; int5 & int12 -> int13: that the personification is not a transport hold.; int13 -> int14: there exists something such that it is not a transport.;
$hypothesis$ = the aphanite is a kind of a dilution. ; $context$ = sent1: the personification is not a arsine. sent2: if the fact that that the compote is not a layout and is not inshore does not hold is not wrong it is not a generic. sent3: the aphanite is a chute-the-chute. sent4: something that does not defoliate Castile and is not cartographic is not rocky. sent5: if something is not rocky that it is a kind of a swoosh that is orthodontics does not hold. sent6: the aphanite transports if the personification is a chute-the-chute. sent7: the personification is a chute-the-chute if it is not a kind of a arsine. sent8: if that something does transport is not false it is a dilution. sent9: the fact that that the compote is not a layout and it is not inshore is not right hold if it is phonetics. sent10: the compote is phonetics. sent11: something is not a dilution if that it is a arsine and is a chute-the-chute is not right. sent12: if that something is a swoosh that is orthodontics is not right then it is not a transport. sent13: if the compote is non-generic the personification does not defoliate Castile and is not cartographic. sent14: the aphanite is a arsine if it is not a kind of a transport. ; $proof$ = 
sent7 & sent1 -> int1: the personification is a chute-the-chute.; int1 & sent6 -> int2: the aphanite is a transport.; sent8 -> int3: if the fact that the aphanite is a kind of a transport hold it is a dilution.; int2 & int3 -> hypothesis; __PROVED__