the fact that there exists something such that if it is a Chippendale then it is Paleozoic does not hold.
sent1: the muesli is a kind of a solenoid if it is a kind of a Chippendale. sent2: if something is a solenoid then it is not non-Paleozoic.
void -> assump1: Let's assume that the muesli is a Chippendale.; sent1 & assump1 -> int1: the muesli is a solenoid.; sent2 -> int2: the muesli is a Paleozoic if it is a solenoid.; int1 & int2 -> int3: the muesli is a Paleozoic.; [assump1] & int3 -> int4: if the muesli is Chippendale then that it is a kind of a Paleozoic hold.; int4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a Chippendale then it is Paleozoic does not hold. ; $context$ = sent1: the muesli is a kind of a solenoid if it is a kind of a Chippendale. sent2: if something is a solenoid then it is not non-Paleozoic. ; $proof$ = 
void -> assump1: Let's assume that the muesli is a Chippendale.; sent1 & assump1 -> int1: the muesli is a solenoid.; sent2 -> int2: the muesli is a Paleozoic if it is a solenoid.; int1 & int2 -> int3: the muesli is a Paleozoic.; [assump1] & int3 -> int4: if the muesli is Chippendale then that it is a kind of a Paleozoic hold.; int4 -> hypothesis; __DISPROVED__