that if the lieutenant is a gale then the berkelium is forgetful does not hold.
sent1: the anjou is a vesiculovirus. sent2: if the berkelium is a kind of a vesiculovirus then the lieutenant is a gale. sent3: the Powhatan is a vesiculovirus. sent4: the fact that the redbelly is a vesiculovirus is not wrong. sent5: if the lieutenant is forgetful it is a kind of a vesiculovirus. sent6: the lieutenant sidles extemporization. sent7: the berkelium is a gale if the lieutenant is forgetful. sent8: if the berkelium is a gale then the lieutenant is forgetful. sent9: if something is not an anthem then it is not forgetful but a gale. sent10: the berkelium is not non-forgetful if the lieutenant is a vesiculovirus. sent11: the berkelium is a vesiculovirus if the lieutenant is a gale. sent12: if that the lieutenant is a gale is not wrong then it is a vesiculovirus. sent13: the berkelium is a kind of a vesiculovirus. sent14: the fact that the lieutenant is a Gibraltar hold.
void -> assump1: Let's assume that the lieutenant is a kind of a gale.; sent12 & assump1 -> int1: that the lieutenant is a vesiculovirus hold.; sent10 & int1 -> int2: the berkelium is forgetful.; [assump1] & int2 -> hypothesis;
the Brownshirt is a vesiculovirus.
sent9 -> int3: the lieutenant is non-forgetful a gale if it is not an anthem.;
$hypothesis$ = that if the lieutenant is a gale then the berkelium is forgetful does not hold. ; $context$ = sent1: the anjou is a vesiculovirus. sent2: if the berkelium is a kind of a vesiculovirus then the lieutenant is a gale. sent3: the Powhatan is a vesiculovirus. sent4: the fact that the redbelly is a vesiculovirus is not wrong. sent5: if the lieutenant is forgetful it is a kind of a vesiculovirus. sent6: the lieutenant sidles extemporization. sent7: the berkelium is a gale if the lieutenant is forgetful. sent8: if the berkelium is a gale then the lieutenant is forgetful. sent9: if something is not an anthem then it is not forgetful but a gale. sent10: the berkelium is not non-forgetful if the lieutenant is a vesiculovirus. sent11: the berkelium is a vesiculovirus if the lieutenant is a gale. sent12: if that the lieutenant is a gale is not wrong then it is a vesiculovirus. sent13: the berkelium is a kind of a vesiculovirus. sent14: the fact that the lieutenant is a Gibraltar hold. ; $proof$ = 
void -> assump1: Let's assume that the lieutenant is a kind of a gale.; sent12 & assump1 -> int1: that the lieutenant is a vesiculovirus hold.; sent10 & int1 -> int2: the berkelium is forgetful.; [assump1] & int2 -> hypothesis; __DISPROVED__