there is something such that if it is not septal and it is conciliatory it does shelter calibration.
sent1: if something is both not septal and conciliatory then it shelters calibration. sent2: there is something such that if it is septal and it is conciliatory then the fact that it does shelter calibration is not incorrect. sent3: that the tachylite shelters calibration is right if it is septal and it is conciliatory. sent4: if something is septal but not non-conciliatory it does shelter calibration. sent5: if the tachylite is non-septal thing that does distinguish Piston it is inattentive. sent6: the thermograph is septal if it is not a porterage and it is bituminoid. sent7: if something does not distinguish ignorantness and is baboonish then it is a pine. sent8: if something does not wire tachylite and is a carapace it does shelter calibration. sent9: if something is not irreverent but it is adventuristic then it is serious.
sent1 -> int1: the tachylite does shelter calibration if it is not septal and is conciliatory.; int1 -> hypothesis;
the Piston shelters calibration if it does not wire tachylite and it is a carapace.
sent8 -> hypothesis;
$hypothesis$ = there is something such that if it is not septal and it is conciliatory it does shelter calibration. ; $context$ = sent1: if something is both not septal and conciliatory then it shelters calibration. sent2: there is something such that if it is septal and it is conciliatory then the fact that it does shelter calibration is not incorrect. sent3: that the tachylite shelters calibration is right if it is septal and it is conciliatory. sent4: if something is septal but not non-conciliatory it does shelter calibration. sent5: if the tachylite is non-septal thing that does distinguish Piston it is inattentive. sent6: the thermograph is septal if it is not a porterage and it is bituminoid. sent7: if something does not distinguish ignorantness and is baboonish then it is a pine. sent8: if something does not wire tachylite and is a carapace it does shelter calibration. sent9: if something is not irreverent but it is adventuristic then it is serious. ; $proof$ = 
sent1 -> int1: the tachylite does shelter calibration if it is not septal and is conciliatory.; int1 -> hypothesis; __PROVED__