if that the barbasco does not tag sweetheart is correct then the skua tags cyclone but it is not clonal.
sent1: the fact that something is a personal is not false if it tags sweetheart. sent2: that the skua is not clonal hold if that it is clonal and it does not gauge quarrelsomeness does not hold. sent3: the skua does not tag cyclone if the fact that it is not a comfort and it does tag cyclone is not right. sent4: if the skua does not tag sweetheart then the fact that the barbasco does tag sweetheart is correct. sent5: if something is not a lightbulb and does not tag sweetheart then it does not tag cyclone. sent6: if there is something such that it is not a personal the barbasco is not a lightbulb. sent7: if the fact that the skua is a lightbulb is correct then the barbasco is a personal. sent8: something is not lacrimatory and not blastogenetic if it is a personal. sent9: the skua tags sweetheart and does tag cyclone if the fact that the barbasco does not tags sweetheart is not incorrect. sent10: the barbasco is not a darner. sent11: if the barbasco tags sweetheart then the skua does tag cyclone but it is not clonal. sent12: the skua is a lightbulb and it is clonal if the barbasco does not tag cyclone. sent13: the skua is a kind of clonal a lightbulb if that the barbasco is not clonal is right. sent14: the barbasco does not gauge small and does not overawe disputant. sent15: the barbasco is a kind of a lightbulb and does not tag cyclone if the skua is not a lightbulb. sent16: there exists something such that the fact that it is not a personal is correct. sent17: if something is not clonal then that it is not a lightbulb and does not tag cyclone is not correct.
sent16 & sent6 -> int1: the barbasco is not a lightbulb.; void -> assump1: Let's assume that the barbasco does not tag sweetheart.; int1 & assump1 -> int2: the barbasco is not a lightbulb and it does not tag sweetheart.; sent5 -> int3: if the barbasco is not a lightbulb and it does not tag sweetheart it does not tag cyclone.; int2 & int3 -> int4: the barbasco does not tag cyclone.;
the skua is a kind of non-lacrimatory thing that is not blastogenetic.
sent8 -> int5: the skua is a kind of non-lacrimatory thing that is not blastogenetic if it is personal.; sent1 -> int6: the skua is a kind of a personal if it tags sweetheart.;
$hypothesis$ = if that the barbasco does not tag sweetheart is correct then the skua tags cyclone but it is not clonal. ; $context$ = sent1: the fact that something is a personal is not false if it tags sweetheart. sent2: that the skua is not clonal hold if that it is clonal and it does not gauge quarrelsomeness does not hold. sent3: the skua does not tag cyclone if the fact that it is not a comfort and it does tag cyclone is not right. sent4: if the skua does not tag sweetheart then the fact that the barbasco does tag sweetheart is correct. sent5: if something is not a lightbulb and does not tag sweetheart then it does not tag cyclone. sent6: if there is something such that it is not a personal the barbasco is not a lightbulb. sent7: if the fact that the skua is a lightbulb is correct then the barbasco is a personal. sent8: something is not lacrimatory and not blastogenetic if it is a personal. sent9: the skua tags sweetheart and does tag cyclone if the fact that the barbasco does not tags sweetheart is not incorrect. sent10: the barbasco is not a darner. sent11: if the barbasco tags sweetheart then the skua does tag cyclone but it is not clonal. sent12: the skua is a lightbulb and it is clonal if the barbasco does not tag cyclone. sent13: the skua is a kind of clonal a lightbulb if that the barbasco is not clonal is right. sent14: the barbasco does not gauge small and does not overawe disputant. sent15: the barbasco is a kind of a lightbulb and does not tag cyclone if the skua is not a lightbulb. sent16: there exists something such that the fact that it is not a personal is correct. sent17: if something is not clonal then that it is not a lightbulb and does not tag cyclone is not correct. ; $proof$ = 
sent16 & sent6 -> int1: the barbasco is not a lightbulb.; void -> assump1: Let's assume that the barbasco does not tag sweetheart.; int1 & assump1 -> int2: the barbasco is not a lightbulb and it does not tag sweetheart.; sent5 -> int3: if the barbasco is not a lightbulb and it does not tag sweetheart it does not tag cyclone.; int2 & int3 -> int4: the barbasco does not tag cyclone.; __UNKNOWN__