the fact that if the corduroy is a farmland then the harmattan is a Swiss is incorrect.
sent1: the diencephalon is not a kind of a payroll. sent2: if that the diencephalon does oxidize and is not a payroll hold then the corduroy is not a farmland. sent3: if the fact that the diencephalon does oxidize and is not a payroll is not right then the harmattan is Swiss. sent4: the harmattan is Swiss if the diencephalon is a kind of a payroll.
void -> assump1: Let's assume that the corduroy is a farmland.; void -> assump2: Let's assume that the diencephalon oxidizes and is not a kind of a payroll.; sent2 & assump2 -> int1: the corduroy is not a farmland.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that that the fact that the diencephalon oxidizes but it is not a payroll is not wrong is wrong is true.; sent3 & int3 -> int4: the harmattan is a kind of a Swiss.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that if the corduroy is a farmland then the harmattan is a Swiss is incorrect. ; $context$ = sent1: the diencephalon is not a kind of a payroll. sent2: if that the diencephalon does oxidize and is not a payroll hold then the corduroy is not a farmland. sent3: if the fact that the diencephalon does oxidize and is not a payroll is not right then the harmattan is Swiss. sent4: the harmattan is Swiss if the diencephalon is a kind of a payroll. ; $proof$ = 
void -> assump1: Let's assume that the corduroy is a farmland.; void -> assump2: Let's assume that the diencephalon oxidizes and is not a kind of a payroll.; sent2 & assump2 -> int1: the corduroy is not a farmland.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that that the fact that the diencephalon oxidizes but it is not a payroll is not wrong is wrong is true.; sent3 & int3 -> int4: the harmattan is a kind of a Swiss.; [assump1] & int4 -> hypothesis; __DISPROVED__