the butterbur is not glacial.
sent1: if the fact that the arteriogram is not a kind of a paleopathology and it does not decide does not hold the Riverside is Ambrosian. sent2: the chloramphenicol is not a kind of a Wagram if that it is not a kind of an artifact and it is a kind of a Wagram is false. sent3: something is not a paleopathology but it decides if it is a fritillary. sent4: if something is not a paleopathology but it decides that it is not Ambrosian is right. sent5: something is not glacial and does credit putz if it is not Ambrosian. sent6: something does not credit lactose and it is not a Wagram if the fact that it is not a fritillary is not false. sent7: if the Riverside is not glacial but it credits putz the butterbur is glacial. sent8: the gargle is Ambrosian. sent9: that the arteriogram is not a paleopathology and it does not decide does not hold if there exists something such that it is not a Wagram. sent10: there exists something such that it does enter hexestrol. sent11: that the chloramphenicol is not a kind of an artifact but it is a Wagram is wrong. sent12: the Riverside does credit putz and is Ambrosian. sent13: if something is a kind of a Wagram it is a fritillary. sent14: the fact that if the arteriogram is not an artifact the Riverside does credit lactose and it is a Wagram is correct. sent15: if either the chloramphenicol does not credit lactose or it is not a kind of an artifact or both then the butterbur is not glacial. sent16: if that the Riverside does credit putz hold then the fact that the arteriogram decides and/or is not a paleopathology is false.
sent12 -> int1: the Riverside credits putz.; int1 & sent16 -> int2: that the arteriogram does decide and/or is not a paleopathology is incorrect.; sent6 -> int3: if the fact that the chloramphenicol is not a fritillary is not wrong then it does not credit lactose and it is not a Wagram.;
the fact that the centrum is a fritillary and it is multiphase hold.
sent2 & sent11 -> int4: the chloramphenicol is not a Wagram.; int4 -> int5: something is not a kind of a Wagram.; int5 & sent9 -> int6: the fact that the arteriogram is not a paleopathology and does not decide is not right.; sent1 & int6 -> int7: the Riverside is Ambrosian.; int7 -> int8: something is Ambrosian.;
$hypothesis$ = the butterbur is not glacial. ; $context$ = sent1: if the fact that the arteriogram is not a kind of a paleopathology and it does not decide does not hold the Riverside is Ambrosian. sent2: the chloramphenicol is not a kind of a Wagram if that it is not a kind of an artifact and it is a kind of a Wagram is false. sent3: something is not a paleopathology but it decides if it is a fritillary. sent4: if something is not a paleopathology but it decides that it is not Ambrosian is right. sent5: something is not glacial and does credit putz if it is not Ambrosian. sent6: something does not credit lactose and it is not a Wagram if the fact that it is not a fritillary is not false. sent7: if the Riverside is not glacial but it credits putz the butterbur is glacial. sent8: the gargle is Ambrosian. sent9: that the arteriogram is not a paleopathology and it does not decide does not hold if there exists something such that it is not a Wagram. sent10: there exists something such that it does enter hexestrol. sent11: that the chloramphenicol is not a kind of an artifact but it is a Wagram is wrong. sent12: the Riverside does credit putz and is Ambrosian. sent13: if something is a kind of a Wagram it is a fritillary. sent14: the fact that if the arteriogram is not an artifact the Riverside does credit lactose and it is a Wagram is correct. sent15: if either the chloramphenicol does not credit lactose or it is not a kind of an artifact or both then the butterbur is not glacial. sent16: if that the Riverside does credit putz hold then the fact that the arteriogram decides and/or is not a paleopathology is false. ; $proof$ = 
sent12 -> int1: the Riverside credits putz.; int1 & sent16 -> int2: that the arteriogram does decide and/or is not a paleopathology is incorrect.; sent6 -> int3: if the fact that the chloramphenicol is not a fritillary is not wrong then it does not credit lactose and it is not a Wagram.; __UNKNOWN__