the Etruscan does not launch cardinalfish.
sent1: the fact that the contents is not a Romany and it is not hot is not true if the willow is a claro. sent2: if something does not launch cardinalfish the Etruscan is hot and/or is a jog. sent3: if the Etruscan is both a jog and not a bondsman then the contents is not hot. sent4: the contents is not hot if the Etruscan does not jog and it is not a bondsman. sent5: the contents is a claro if the fact that the fact that the willow is both not a claro and hospitable is not false is wrong. sent6: if the Etruscan is both not a jog and a bondsman that the contents is not hot is not incorrect. sent7: the contents is a claro and/or it is a Romany if there exists something such that it is not a kind of a ring-around-the-rosy. sent8: the contents is not a kind of a jog. sent9: the contents does not launch cardinalfish. sent10: there exists something such that it is not a jog. sent11: that the Etruscan is a kind of a Romany but it is not a ring-around-the-rosy is incorrect if there exists something such that it is a kind of a claro. sent12: something is hot if it is not non-Romany. sent13: the Etruscan is not a five-hitter and does not launch licensee. sent14: the reference is not a Romany if the fact that the Etruscan is Romany but it is not a ring-around-the-rosy is incorrect. sent15: there exists something such that that it is not a ring-around-the-rosy is not false. sent16: something is non-hot thing that does not launch cardinalfish if it is not a Romany. sent17: if the Etruscan does launch cardinalfish then it is both not a jog and not a bondsman. sent18: a claro is hot. sent19: if the contents does calcify and is hot the Etruscan does not calcify. sent20: something is a kind of a ring-around-the-rosy. sent21: the epiphyte is not hospitable and it is not a kind of a unicycle. sent22: the contents is hot if it does launch Melogale.
void -> assump1: Let's assume that the Etruscan launches cardinalfish.; sent17 & assump1 -> int1: the Etruscan is not a jog and not a bondsman.; int1 & sent4 -> int2: the contents is not hot.; sent15 & sent7 -> int3: either the contents is a claro or it is a kind of a Romany or both.; sent18 -> int4: the contents is hot if it is a claro.; sent12 -> int5: if the contents is a Romany it is hot.; int3 & int4 & int5 -> int6: the contents is hot.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the Etruscan does launch cardinalfish hold.
$hypothesis$ = the Etruscan does not launch cardinalfish. ; $context$ = sent1: the fact that the contents is not a Romany and it is not hot is not true if the willow is a claro. sent2: if something does not launch cardinalfish the Etruscan is hot and/or is a jog. sent3: if the Etruscan is both a jog and not a bondsman then the contents is not hot. sent4: the contents is not hot if the Etruscan does not jog and it is not a bondsman. sent5: the contents is a claro if the fact that the fact that the willow is both not a claro and hospitable is not false is wrong. sent6: if the Etruscan is both not a jog and a bondsman that the contents is not hot is not incorrect. sent7: the contents is a claro and/or it is a Romany if there exists something such that it is not a kind of a ring-around-the-rosy. sent8: the contents is not a kind of a jog. sent9: the contents does not launch cardinalfish. sent10: there exists something such that it is not a jog. sent11: that the Etruscan is a kind of a Romany but it is not a ring-around-the-rosy is incorrect if there exists something such that it is a kind of a claro. sent12: something is hot if it is not non-Romany. sent13: the Etruscan is not a five-hitter and does not launch licensee. sent14: the reference is not a Romany if the fact that the Etruscan is Romany but it is not a ring-around-the-rosy is incorrect. sent15: there exists something such that that it is not a ring-around-the-rosy is not false. sent16: something is non-hot thing that does not launch cardinalfish if it is not a Romany. sent17: if the Etruscan does launch cardinalfish then it is both not a jog and not a bondsman. sent18: a claro is hot. sent19: if the contents does calcify and is hot the Etruscan does not calcify. sent20: something is a kind of a ring-around-the-rosy. sent21: the epiphyte is not hospitable and it is not a kind of a unicycle. sent22: the contents is hot if it does launch Melogale. ; $proof$ = 
void -> assump1: Let's assume that the Etruscan launches cardinalfish.; sent17 & assump1 -> int1: the Etruscan is not a jog and not a bondsman.; int1 & sent4 -> int2: the contents is not hot.; sent15 & sent7 -> int3: either the contents is a claro or it is a kind of a Romany or both.; sent18 -> int4: the contents is hot if it is a claro.; sent12 -> int5: if the contents is a Romany it is hot.; int3 & int4 & int5 -> int6: the contents is hot.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__