the brachycephalic is not bacillar.
sent1: something is not a Lavoisier and is unchaste if it is not a kind of a luminary. sent2: the brachycephalic is bacillar if the size is not a Lavoisier and is unchaste. sent3: everything is not a luminary. sent4: if that something is not a luminary but it is Luxemburger does not hold then it is not bacillar. sent5: the sprat is unchaste.
sent1 -> int1: if the size is not a luminary then it is not a Lavoisier but unchaste.; sent3 -> int2: the size is not a kind of a luminary.; int1 & int2 -> int3: the size is not a kind of a Lavoisier but it is unchaste.; int3 & sent2 -> hypothesis;
the brachycephalic is not bacillar.
sent4 -> int4: if the fact that the brachycephalic is not a luminary and is a kind of a Luxemburger is not right it is not bacillar.;
$hypothesis$ = the brachycephalic is not bacillar. ; $context$ = sent1: something is not a Lavoisier and is unchaste if it is not a kind of a luminary. sent2: the brachycephalic is bacillar if the size is not a Lavoisier and is unchaste. sent3: everything is not a luminary. sent4: if that something is not a luminary but it is Luxemburger does not hold then it is not bacillar. sent5: the sprat is unchaste. ; $proof$ = 
sent1 -> int1: if the size is not a luminary then it is not a Lavoisier but unchaste.; sent3 -> int2: the size is not a kind of a luminary.; int1 & int2 -> int3: the size is not a kind of a Lavoisier but it is unchaste.; int3 & sent2 -> hypothesis; __DISPROVED__