if the gunmetal does not concern feeder the hornet is a kind of a Rhabdoviridae that is mini.
sent1: if the gunmetal does concern feeder then the hornet is a kind of a Rhabdoviridae that is mini. sent2: the hornet is a kind of a subject if the gunmetal does not concern feeder. sent3: if the hornet does not concern feeder then the gunmetal is a Rhabdoviridae and is mini. sent4: the yttrium subjects. sent5: the hornet is both a Rhabdoviridae and a subject if the gunmetal does not concern feeder. sent6: the gunmetal concerns feeder and it is mini if the hornet is not a subject. sent7: the hornet subjects. sent8: that the hornet is mini is right.
void -> assump1: Let's assume that the gunmetal does not concern feeder.; sent5 & assump1 -> int1: the hornet is a Rhabdoviridae and it subjects.; int1 -> int2: the hornet is a Rhabdoviridae.; int2 & sent8 -> int3: the hornet is a kind of a Rhabdoviridae and it is mini.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the gunmetal does not concern feeder the hornet is a kind of a Rhabdoviridae that is mini. ; $context$ = sent1: if the gunmetal does concern feeder then the hornet is a kind of a Rhabdoviridae that is mini. sent2: the hornet is a kind of a subject if the gunmetal does not concern feeder. sent3: if the hornet does not concern feeder then the gunmetal is a Rhabdoviridae and is mini. sent4: the yttrium subjects. sent5: the hornet is both a Rhabdoviridae and a subject if the gunmetal does not concern feeder. sent6: the gunmetal concerns feeder and it is mini if the hornet is not a subject. sent7: the hornet subjects. sent8: that the hornet is mini is right. ; $proof$ = 
void -> assump1: Let's assume that the gunmetal does not concern feeder.; sent5 & assump1 -> int1: the hornet is a Rhabdoviridae and it subjects.; int1 -> int2: the hornet is a Rhabdoviridae.; int2 & sent8 -> int3: the hornet is a kind of a Rhabdoviridae and it is mini.; [assump1] & int3 -> hypothesis; __PROVED__