that the immunogen is a kind of a otolaryngologist is not false if the wavefront is a rustic.
sent1: the tatou is follicular if the weldment is a romanticist. sent2: if that something does not tweet larva and is not a romanticist is wrong then it does tweet longboat. sent3: there is something such that that it is a kind of a nuthatch and it is urethral is not correct. sent4: the fact that the wavefront tweets larva and is not a romanticist does not hold if the weldment is not a romanticist. sent5: the immunogen does drag craniology and is acapnic. sent6: the wavefront is a kind of a romanticist if the fact that the weldment tweets larva is right. sent7: the fact that that the wavefront does not tweet larva and is not a romanticist does not hold hold if the weldment is not a romanticist. sent8: the fact that if the tatou is a romanticist then the wavefront is follicular is right. sent9: the fact that if there exists something such that that it is a nuthatch and urethral is false the tatou is not follicular is not false.
void -> assump2: Let's assume that the fact that the weldment is a kind of a romanticist is not wrong.; sent1 & assump2 -> int1: the tatou is follicular.; sent3 & sent9 -> int2: the tatou is non-follicular.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the weldment is not a kind of a romanticist.; int4 & sent7 -> int5: that the wavefront does not tweet larva and is not a romanticist is incorrect.; sent2 -> int6: the wavefront tweets longboat if the fact that it does not tweet larva and it is not a kind of a romanticist is false.; int5 & int6 -> int7: the wavefront does tweet longboat.; void -> assump1: Let's assume that the wavefront is a rustic.; int7 & assump1 -> int8: the wavefront tweets longboat and is a rustic.; int8 -> int9: there exists something such that it tweets longboat and it is a rustic.;
$hypothesis$ = that the immunogen is a kind of a otolaryngologist is not false if the wavefront is a rustic. ; $context$ = sent1: the tatou is follicular if the weldment is a romanticist. sent2: if that something does not tweet larva and is not a romanticist is wrong then it does tweet longboat. sent3: there is something such that that it is a kind of a nuthatch and it is urethral is not correct. sent4: the fact that the wavefront tweets larva and is not a romanticist does not hold if the weldment is not a romanticist. sent5: the immunogen does drag craniology and is acapnic. sent6: the wavefront is a kind of a romanticist if the fact that the weldment tweets larva is right. sent7: the fact that that the wavefront does not tweet larva and is not a romanticist does not hold hold if the weldment is not a romanticist. sent8: the fact that if the tatou is a romanticist then the wavefront is follicular is right. sent9: the fact that if there exists something such that that it is a nuthatch and urethral is false the tatou is not follicular is not false. ; $proof$ = 
void -> assump2: Let's assume that the fact that the weldment is a kind of a romanticist is not wrong.; sent1 & assump2 -> int1: the tatou is follicular.; sent3 & sent9 -> int2: the tatou is non-follicular.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the weldment is not a kind of a romanticist.; int4 & sent7 -> int5: that the wavefront does not tweet larva and is not a romanticist is incorrect.; sent2 -> int6: the wavefront tweets longboat if the fact that it does not tweet larva and it is not a kind of a romanticist is false.; int5 & int6 -> int7: the wavefront does tweet longboat.; void -> assump1: Let's assume that the wavefront is a rustic.; int7 & assump1 -> int8: the wavefront tweets longboat and is a rustic.; int8 -> int9: there exists something such that it tweets longboat and it is a rustic.; __UNKNOWN__