that the refectory does not utter Petronius and is a kind of a conidium does not hold.
sent1: if the facial is white-collar then it is not a prelude. sent2: the refectory does not utter Petronius and is a kind of a conidium if the hydroxyproline does not utter Petronius. sent3: if the tot is not white-collar the refectory is a kind of white-collar thing that utters Petronius. sent4: if the tot utters Petronius it is non-white-collar. sent5: the facial is not white-collar but it is a ricin. sent6: the hydroxyproline is not a kind of a conidium and utters Petronius if the refectory is not a conidium. sent7: the tot does not utter Petronius if the hydroxyproline does not utter Petronius. sent8: the refectory is a conidium. sent9: if something is a theodolite then it is white-collar. sent10: a forum does not utter Petronius. sent11: the tot does utter Petronius if the refectory is white-collar. sent12: if the hydroxyproline does not utter Petronius then the refectory is a conidium. sent13: the facial is a prelude. sent14: if the tot is white-collar then the fact that the hydroxyproline is a forum is not false. sent15: the tot is a theodolite if the facial is a prelude.
sent15 & sent13 -> int1: the fact that the tot is a theodolite is correct.; sent9 -> int2: the tot is white-collar if it is a theodolite.; int1 & int2 -> int3: the tot is white-collar.; int3 & sent14 -> int4: the hydroxyproline is a kind of a forum.; sent10 -> int5: if the hydroxyproline is a kind of a forum then it does not utter Petronius.; int4 & int5 -> int6: the hydroxyproline does not utter Petronius.; int6 & sent2 -> hypothesis;
$hypothesis$ = that the refectory does not utter Petronius and is a kind of a conidium does not hold. ; $context$ = sent1: if the facial is white-collar then it is not a prelude. sent2: the refectory does not utter Petronius and is a kind of a conidium if the hydroxyproline does not utter Petronius. sent3: if the tot is not white-collar the refectory is a kind of white-collar thing that utters Petronius. sent4: if the tot utters Petronius it is non-white-collar. sent5: the facial is not white-collar but it is a ricin. sent6: the hydroxyproline is not a kind of a conidium and utters Petronius if the refectory is not a conidium. sent7: the tot does not utter Petronius if the hydroxyproline does not utter Petronius. sent8: the refectory is a conidium. sent9: if something is a theodolite then it is white-collar. sent10: a forum does not utter Petronius. sent11: the tot does utter Petronius if the refectory is white-collar. sent12: if the hydroxyproline does not utter Petronius then the refectory is a conidium. sent13: the facial is a prelude. sent14: if the tot is white-collar then the fact that the hydroxyproline is a forum is not false. sent15: the tot is a theodolite if the facial is a prelude. ; $proof$ = 
sent15 & sent13 -> int1: the fact that the tot is a theodolite is correct.; sent9 -> int2: the tot is white-collar if it is a theodolite.; int1 & int2 -> int3: the tot is white-collar.; int3 & sent14 -> int4: the hydroxyproline is a kind of a forum.; sent10 -> int5: if the hydroxyproline is a kind of a forum then it does not utter Petronius.; int4 & int5 -> int6: the hydroxyproline does not utter Petronius.; int6 & sent2 -> hypothesis; __DISPROVED__