the girder is not a kind of a Sikorsky.
sent1: if there is something such that that it is not diatomic and does not unwrap hillbilly does not hold then the hillbilly is not a kind of a canfield. sent2: the extension is not a dinginess and it is not a carnotite. sent3: if the pipeline is not diamantine then that the girder does bubble giraffe and it is diamantine does not hold. sent4: if the totemist is a Ismaili the hillbilly is a canfield. sent5: that the mountaineer is a kind of non-diamantine thing that does not bubble giraffe is incorrect if the pipeline is not diatomic. sent6: the hillbilly is a kind of a Abkhaz if the fact that the pipeline is diamantine but not a IUD does not hold. sent7: if the girder is a kind of a Ismaili but it is not a IUD the totemist is a IUD. sent8: that the girder is a Ismaili but it is not diamantine is not true if it is a canfield. sent9: if that the fact that something does bubble giraffe and it is diamantine is correct does not hold it is not a Sikorsky. sent10: there is something such that the fact that it is not a keratonosus and it does not lament is not true. sent11: that something is a Ismaili but it is not a IUD hold if it is not a canfield. sent12: the extension is not a carnotite. sent13: the fact that the mountaineer is not diatomic and it does not unwrap hillbilly is wrong if the extension is not a dinginess. sent14: if there is something such that it is a IUD that is diamantine then the totemist is not non-Ismaili.
void -> assump1: Let's assume that the pipeline is diamantine.; sent2 -> int1: the extension is not a dinginess.; sent13 & int1 -> int2: that the mountaineer is not diatomic and does not unwrap hillbilly is false.; int2 -> int3: there exists something such that that it is a kind of non-diatomic thing that does not unwrap hillbilly is wrong.; int3 & sent1 -> int4: the fact that the hillbilly is not a canfield is correct.; sent9 -> int5: if the fact that the girder does bubble giraffe and it is diamantine is wrong then it is not a kind of a Sikorsky.;
the girder is a kind of a Sikorsky.
$hypothesis$ = the girder is not a kind of a Sikorsky. ; $context$ = sent1: if there is something such that that it is not diatomic and does not unwrap hillbilly does not hold then the hillbilly is not a kind of a canfield. sent2: the extension is not a dinginess and it is not a carnotite. sent3: if the pipeline is not diamantine then that the girder does bubble giraffe and it is diamantine does not hold. sent4: if the totemist is a Ismaili the hillbilly is a canfield. sent5: that the mountaineer is a kind of non-diamantine thing that does not bubble giraffe is incorrect if the pipeline is not diatomic. sent6: the hillbilly is a kind of a Abkhaz if the fact that the pipeline is diamantine but not a IUD does not hold. sent7: if the girder is a kind of a Ismaili but it is not a IUD the totemist is a IUD. sent8: that the girder is a Ismaili but it is not diamantine is not true if it is a canfield. sent9: if that the fact that something does bubble giraffe and it is diamantine is correct does not hold it is not a Sikorsky. sent10: there is something such that the fact that it is not a keratonosus and it does not lament is not true. sent11: that something is a Ismaili but it is not a IUD hold if it is not a canfield. sent12: the extension is not a carnotite. sent13: the fact that the mountaineer is not diatomic and it does not unwrap hillbilly is wrong if the extension is not a dinginess. sent14: if there is something such that it is a IUD that is diamantine then the totemist is not non-Ismaili. ; $proof$ = 
void -> assump1: Let's assume that the pipeline is diamantine.; sent2 -> int1: the extension is not a dinginess.; sent13 & int1 -> int2: that the mountaineer is not diatomic and does not unwrap hillbilly is false.; int2 -> int3: there exists something such that that it is a kind of non-diatomic thing that does not unwrap hillbilly is wrong.; int3 & sent1 -> int4: the fact that the hillbilly is not a canfield is correct.; sent9 -> int5: if the fact that the girder does bubble giraffe and it is diamantine is wrong then it is not a kind of a Sikorsky.; __UNKNOWN__