if the rooting does extend loanword and does not slime Nasua then the synthesist is not a kind of a longbowman.
sent1: the rooting does not slime itinerary. sent2: if the synthesist does extend loanword but it does not slime Nasua the rooting is a Flaminius. sent3: if the synthesist does not extend loanword the rooting is a kind of a longbowman. sent4: if the synthesist extends loanword and is a Flaminius the fact that the rooting is not a kind of a longbowman is not incorrect. sent5: if the rooting does extend loanword and does not slime Nasua then it is not a kind of a Flaminius. sent6: if the synthesist does not slime Nasua then the rooting is a longbowman. sent7: the rooting is not a longbowman. sent8: the rooting is not a longbowman if it does extend loanword and it is a Flaminius. sent9: if the synthesist is not a Flaminius then the rooting is not a kind of a longbowman. sent10: if the synthesist does slime Nasua but it is not a longbowman then the rooting is not a kind of a Flaminius. sent11: the synthesist does slime Nasua if the rooting is a kind of a Flaminius and is not a longbowman. sent12: if the rooting slimes Nasua and is a Flaminius it is not a longbowman. sent13: the heroine is a Flaminius. sent14: the trophotropism does not extend loanword. sent15: the synthesist extends loanword if the rooting is not a kind of a longbowman. sent16: if the rooting does not slime Nasua the synthesist is not a Flaminius. sent17: the minibus does not slime Nasua. sent18: something is not synaptic if it is judgmental and is not Draconian.
void -> assump1: Let's assume that the rooting extends loanword and does not slime Nasua.; sent5 & assump1 -> int1: the rooting is not a Flaminius.;
the moonlighter is not synaptic if it is both judgmental and not Draconian.
sent18 -> hypothesis;
$hypothesis$ = if the rooting does extend loanword and does not slime Nasua then the synthesist is not a kind of a longbowman. ; $context$ = sent1: the rooting does not slime itinerary. sent2: if the synthesist does extend loanword but it does not slime Nasua the rooting is a Flaminius. sent3: if the synthesist does not extend loanword the rooting is a kind of a longbowman. sent4: if the synthesist extends loanword and is a Flaminius the fact that the rooting is not a kind of a longbowman is not incorrect. sent5: if the rooting does extend loanword and does not slime Nasua then it is not a kind of a Flaminius. sent6: if the synthesist does not slime Nasua then the rooting is a longbowman. sent7: the rooting is not a longbowman. sent8: the rooting is not a longbowman if it does extend loanword and it is a Flaminius. sent9: if the synthesist is not a Flaminius then the rooting is not a kind of a longbowman. sent10: if the synthesist does slime Nasua but it is not a longbowman then the rooting is not a kind of a Flaminius. sent11: the synthesist does slime Nasua if the rooting is a kind of a Flaminius and is not a longbowman. sent12: if the rooting slimes Nasua and is a Flaminius it is not a longbowman. sent13: the heroine is a Flaminius. sent14: the trophotropism does not extend loanword. sent15: the synthesist extends loanword if the rooting is not a kind of a longbowman. sent16: if the rooting does not slime Nasua the synthesist is not a Flaminius. sent17: the minibus does not slime Nasua. sent18: something is not synaptic if it is judgmental and is not Draconian. ; $proof$ = 
void -> assump1: Let's assume that the rooting extends loanword and does not slime Nasua.; sent5 & assump1 -> int1: the rooting is not a Flaminius.; __UNKNOWN__