if the conjugation is not a curse then the newsroom frees.
sent1: that the newsroom is a kind of a free is correct if the conjugation is a kind of a curse. sent2: the newsroom does dream western if it is not free. sent3: that the stucco does not cultivate is not wrong. sent4: something that cultivates curses. sent5: the conjugation is not a free. sent6: if the newsroom is not cephalic but it dreams western then the stucco does not dream affined. sent7: the newsroom is a kind of unfree thing that cultivates if it does not dream western. sent8: if the fact that the stucco does cultivate and does not dream affined is not correct then it does dream western. sent9: the newsroom is not a curse. sent10: that the conjugation does dream discordance and does not cultivate does not hold if the stucco does not dream affined. sent11: if that something dreams discordance but it does not cultivate is not correct it is a curse. sent12: the thresher is a kind of non-cephalic thing that exhales fiberglass. sent13: the newsroom is non-cephalic thing that does dream western if it is not a free. sent14: the fact that the conjugation does dream discordance and it does cultivate is incorrect. sent15: the newsroom does dream western. sent16: the fact that the conjugation does dream discordance and it cultivates is wrong if the stucco does not dream affined. sent17: the conjugation dreams western if the newsroom does not cultivate. sent18: if the conjugation does cultivate then it curses. sent19: the newsroom is not cephalic but it dreams western if it is free.
void -> assump1: Let's assume that the newsroom is unfree.; sent13 & assump1 -> int1: that the newsroom is not cephalic but it does dream western hold.; int1 & sent6 -> int2: the fact that the stucco does not dream affined is not false.; int2 & sent10 -> int3: that the conjugation does dream discordance but it does not cultivate is false.; sent11 -> int4: the conjugation is a curse if that it dreams discordance and does not cultivate does not hold.; int3 & int4 -> int5: the conjugation is a curse.; void -> assump2: Let's assume that the conjugation does not curse.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the newsroom does free.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the conjugation is not a curse then the newsroom frees. ; $context$ = sent1: that the newsroom is a kind of a free is correct if the conjugation is a kind of a curse. sent2: the newsroom does dream western if it is not free. sent3: that the stucco does not cultivate is not wrong. sent4: something that cultivates curses. sent5: the conjugation is not a free. sent6: if the newsroom is not cephalic but it dreams western then the stucco does not dream affined. sent7: the newsroom is a kind of unfree thing that cultivates if it does not dream western. sent8: if the fact that the stucco does cultivate and does not dream affined is not correct then it does dream western. sent9: the newsroom is not a curse. sent10: that the conjugation does dream discordance and does not cultivate does not hold if the stucco does not dream affined. sent11: if that something dreams discordance but it does not cultivate is not correct it is a curse. sent12: the thresher is a kind of non-cephalic thing that exhales fiberglass. sent13: the newsroom is non-cephalic thing that does dream western if it is not a free. sent14: the fact that the conjugation does dream discordance and it does cultivate is incorrect. sent15: the newsroom does dream western. sent16: the fact that the conjugation does dream discordance and it cultivates is wrong if the stucco does not dream affined. sent17: the conjugation dreams western if the newsroom does not cultivate. sent18: if the conjugation does cultivate then it curses. sent19: the newsroom is not cephalic but it dreams western if it is free. ; $proof$ = 
void -> assump1: Let's assume that the newsroom is unfree.; sent13 & assump1 -> int1: that the newsroom is not cephalic but it does dream western hold.; int1 & sent6 -> int2: the fact that the stucco does not dream affined is not false.; int2 & sent10 -> int3: that the conjugation does dream discordance but it does not cultivate is false.; sent11 -> int4: the conjugation is a curse if that it dreams discordance and does not cultivate does not hold.; int3 & int4 -> int5: the conjugation is a curse.; void -> assump2: Let's assume that the conjugation does not curse.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the newsroom does free.; [assump2] & int7 -> hypothesis; __PROVED__