the Burger is non-Swiss.
sent1: something does not reassail rutherfordium if it does not reassail Vinogradoff and/or is not patristics. sent2: The rutherfordium does reassail peer. sent3: the fact that the Burger is not non-Swiss hold if the gearbox fits. sent4: the Burger is non-Swiss if the gearbox is not a non-Swiss. sent5: if something is not patristics it does not reassail rutherfordium. sent6: if the gearbox is not xenogeneic then either the peer does not reassail Vinogradoff or it is non-patristics or both. sent7: the peer does reassail rutherfordium. sent8: that the heather fits and it does reassail horn is not true if there is something such that that it is not a dick is true. sent9: there exists something such that it is not a dick. sent10: if the fact that the peer is not xenogeneic is not wrong the fact that the gearbox is a Swiss and it does reassail rutherfordium is incorrect. sent11: if that something is a kind of Swiss thing that reassails rutherfordium does not hold it is not a Swiss. sent12: if the gearbox is xenogeneic it does fit. sent13: the minimum does not fit if there exists something such that the fact that it is fit thing that does reassail horn is wrong. sent14: if that the gearbox is not xenogeneic is true the fact that either the peer does not reassail Vinogradoff or it is patristics or both hold. sent15: the gearbox is a kind of a Swiss. sent16: the peer does not reassail Vinogradoff or is patristics or both. sent17: if the peer is not patristics then it does not reassail rutherfordium.
void -> assump1: Let's assume that the gearbox is not xenogeneic.; sent6 & assump1 -> int1: either the peer does not reassail Vinogradoff or it is not patristics or both.; sent1 -> int2: the peer does not reassail rutherfordium if it either does not reassail Vinogradoff or is not patristics or both.; int1 & int2 -> int3: the peer does not reassail rutherfordium.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gearbox is xenogeneic.; int5 & sent12 -> int6: the gearbox is fitted.; int6 & sent3 -> hypothesis;
the Burger is not a Swiss.
sent11 -> int7: if that the gearbox is a Swiss and it does reassail rutherfordium is false it is not a kind of a Swiss.; sent9 & sent8 -> int8: that the heather is a fitted and it does reassail horn does not hold.; int8 -> int9: there is something such that the fact that it fits and does reassail horn does not hold.; int9 & sent13 -> int10: the minimum is not a kind of a fitted.; int10 -> int11: there exists something such that it is not a fitted.;
$hypothesis$ = the Burger is non-Swiss. ; $context$ = sent1: something does not reassail rutherfordium if it does not reassail Vinogradoff and/or is not patristics. sent2: The rutherfordium does reassail peer. sent3: the fact that the Burger is not non-Swiss hold if the gearbox fits. sent4: the Burger is non-Swiss if the gearbox is not a non-Swiss. sent5: if something is not patristics it does not reassail rutherfordium. sent6: if the gearbox is not xenogeneic then either the peer does not reassail Vinogradoff or it is non-patristics or both. sent7: the peer does reassail rutherfordium. sent8: that the heather fits and it does reassail horn is not true if there is something such that that it is not a dick is true. sent9: there exists something such that it is not a dick. sent10: if the fact that the peer is not xenogeneic is not wrong the fact that the gearbox is a Swiss and it does reassail rutherfordium is incorrect. sent11: if that something is a kind of Swiss thing that reassails rutherfordium does not hold it is not a Swiss. sent12: if the gearbox is xenogeneic it does fit. sent13: the minimum does not fit if there exists something such that the fact that it is fit thing that does reassail horn is wrong. sent14: if that the gearbox is not xenogeneic is true the fact that either the peer does not reassail Vinogradoff or it is patristics or both hold. sent15: the gearbox is a kind of a Swiss. sent16: the peer does not reassail Vinogradoff or is patristics or both. sent17: if the peer is not patristics then it does not reassail rutherfordium. ; $proof$ = 
void -> assump1: Let's assume that the gearbox is not xenogeneic.; sent6 & assump1 -> int1: either the peer does not reassail Vinogradoff or it is not patristics or both.; sent1 -> int2: the peer does not reassail rutherfordium if it either does not reassail Vinogradoff or is not patristics or both.; int1 & int2 -> int3: the peer does not reassail rutherfordium.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gearbox is xenogeneic.; int5 & sent12 -> int6: the gearbox is fitted.; int6 & sent3 -> hypothesis; __DISPROVED__