the cordierite is inheritable.
sent1: the Parliamentarian is reductionist. sent2: the cordierite does not deviate device. sent3: something does deviate device and it is a paisa if it is not centrifugal. sent4: The device does not deviate cordierite. sent5: if the cordierite does not deviate device then it does deviate Parliamentarian and it is inheritable. sent6: if something does deviate device then that it is inheritable and it is not unreceptive is wrong.
sent5 & sent2 -> int1: the cordierite does deviate Parliamentarian and it is not noninheritable.; int1 -> hypothesis;
the cordierite is not inheritable.
sent6 -> int2: if the phosphocreatine deviates device then that it is inheritable and it is not unreceptive is not correct.; sent3 -> int3: that the fact that the phoronid does deviate device and it is the paisa is right if the phoronid is not centrifugal hold.;
$hypothesis$ = the cordierite is inheritable. ; $context$ = sent1: the Parliamentarian is reductionist. sent2: the cordierite does not deviate device. sent3: something does deviate device and it is a paisa if it is not centrifugal. sent4: The device does not deviate cordierite. sent5: if the cordierite does not deviate device then it does deviate Parliamentarian and it is inheritable. sent6: if something does deviate device then that it is inheritable and it is not unreceptive is wrong. ; $proof$ = 
sent5 & sent2 -> int1: the cordierite does deviate Parliamentarian and it is not noninheritable.; int1 -> hypothesis; __PROVED__