the choreography is amoristic thing that does not suborn decrepitude.
sent1: something that is an abyss is phocine. sent2: the Dorian is approachable if there is something such that it is phocine. sent3: the Bole is not a kind of a drone. sent4: the Dorian does suborn decrepitude. sent5: if the shoddy does fine-tune the Dorian is rotational. sent6: if the fact that the kiln suborns earliness hold the fact that the supercharger is not a Kline or it bans roadway or both is incorrect. sent7: everything is not a drone and lobs maidenliness. sent8: the kiln suborns earliness and is a Bishkek. sent9: if something is a kind of a drone that lobs maidenliness the shoddy fine-tunes. sent10: the fact that the Bole is rotational but it is not a drone is false if the Dorian fine-tunes. sent11: something that fetters Iran is an abyss. sent12: the choreography does not fine-tune if the shoddy is not rotational and it does not fine-tune. sent13: something is amoristic and does not suborn decrepitude if it does not fine-tune. sent14: that something is not a directory and not a backstop is not right if it is approachable. sent15: if something is not a Mull then it is non-rotational thing that does not fine-tune. sent16: if the Dorian is rotational then the fact that the choreography is amoristic but it does not suborn decrepitude is not correct. sent17: the shoddy does fine-tune if there exists something such that it is not a drone and it does lob maidenliness. sent18: if the fact that something is not a kind of a Kline or it bans roadway or both does not hold then it fetters Iran.
sent7 -> int1: the Bole is not a kind of a drone but it lobs maidenliness.; int1 -> int2: there exists something such that that it does not drone and it lobs maidenliness hold.; int2 & sent17 -> int3: the shoddy does fine-tune.; sent5 & int3 -> int4: the Dorian is rotational.; sent16 & int4 -> hypothesis;
the choreography is amoristic thing that does not suborn decrepitude.
sent13 -> int5: the choreography is amoristic but it does not suborn decrepitude if it does not fine-tune.; sent15 -> int6: the shoddy is a kind of non-rotational thing that does not fine-tune if it is not a Mull.; sent14 -> int7: if the Dorian is approachable then the fact that it is not a directory and is not a kind of a backstop is false.; sent1 -> int8: if the supercharger is a kind of an abyss then it is phocine.; sent11 -> int9: the supercharger is an abyss if it does fetter Iran.; sent18 -> int10: if that the supercharger is not a Kline and/or it bans roadway is not true it fetters Iran.; sent8 -> int11: the kiln suborns earliness.; sent6 & int11 -> int12: that the supercharger is not a Kline or bans roadway or both is not correct.; int10 & int12 -> int13: the supercharger fetters Iran.; int9 & int13 -> int14: the supercharger is a kind of an abyss.; int8 & int14 -> int15: the supercharger is phocine.; int15 -> int16: there is something such that it is phocine.; int16 & sent2 -> int17: the Dorian is approachable.; int7 & int17 -> int18: that the Dorian is not a kind of a directory and does not backstop is wrong.; int18 -> int19: there exists something such that the fact that it is not a directory and is not a backstop does not hold.;
$hypothesis$ = the choreography is amoristic thing that does not suborn decrepitude. ; $context$ = sent1: something that is an abyss is phocine. sent2: the Dorian is approachable if there is something such that it is phocine. sent3: the Bole is not a kind of a drone. sent4: the Dorian does suborn decrepitude. sent5: if the shoddy does fine-tune the Dorian is rotational. sent6: if the fact that the kiln suborns earliness hold the fact that the supercharger is not a Kline or it bans roadway or both is incorrect. sent7: everything is not a drone and lobs maidenliness. sent8: the kiln suborns earliness and is a Bishkek. sent9: if something is a kind of a drone that lobs maidenliness the shoddy fine-tunes. sent10: the fact that the Bole is rotational but it is not a drone is false if the Dorian fine-tunes. sent11: something that fetters Iran is an abyss. sent12: the choreography does not fine-tune if the shoddy is not rotational and it does not fine-tune. sent13: something is amoristic and does not suborn decrepitude if it does not fine-tune. sent14: that something is not a directory and not a backstop is not right if it is approachable. sent15: if something is not a Mull then it is non-rotational thing that does not fine-tune. sent16: if the Dorian is rotational then the fact that the choreography is amoristic but it does not suborn decrepitude is not correct. sent17: the shoddy does fine-tune if there exists something such that it is not a drone and it does lob maidenliness. sent18: if the fact that something is not a kind of a Kline or it bans roadway or both does not hold then it fetters Iran. ; $proof$ = 
sent7 -> int1: the Bole is not a kind of a drone but it lobs maidenliness.; int1 -> int2: there exists something such that that it does not drone and it lobs maidenliness hold.; int2 & sent17 -> int3: the shoddy does fine-tune.; sent5 & int3 -> int4: the Dorian is rotational.; sent16 & int4 -> hypothesis; __DISPROVED__