that the shaft is a fireclay and tides is not false.
sent1: the fact that the muser is not an opportunity but scalic is not correct. sent2: that the neuron is a kind of a Tuscan is correct. sent3: that the philter is not unwieldy but it ashes dock is not right. sent4: the neuron is a Tajik. sent5: the fact that the shaft is a feathertop and it is Tuscan does not hold. sent6: the shaft is a kind of a tide if it is a feathertop. sent7: if the fact that something is not yogistic but it is a kind of a asana is wrong it is a kind of a propjet. sent8: the fact that the shaft is not a feathertop but Tuscan is wrong. sent9: the poroporo is not a feathertop if it is not a kind of a Tuscan. sent10: the shaft does tide if that it is not a feathertop and it is Tuscan is wrong.
sent10 & sent8 -> int1: the shaft is a tide.;
the fact that the shaft is both a fireclay and a tide does not hold.
$hypothesis$ = that the shaft is a fireclay and tides is not false. ; $context$ = sent1: the fact that the muser is not an opportunity but scalic is not correct. sent2: that the neuron is a kind of a Tuscan is correct. sent3: that the philter is not unwieldy but it ashes dock is not right. sent4: the neuron is a Tajik. sent5: the fact that the shaft is a feathertop and it is Tuscan does not hold. sent6: the shaft is a kind of a tide if it is a feathertop. sent7: if the fact that something is not yogistic but it is a kind of a asana is wrong it is a kind of a propjet. sent8: the fact that the shaft is not a feathertop but Tuscan is wrong. sent9: the poroporo is not a feathertop if it is not a kind of a Tuscan. sent10: the shaft does tide if that it is not a feathertop and it is Tuscan is wrong. ; $proof$ = 
sent10 & sent8 -> int1: the shaft is a tide.; __UNKNOWN__