the moccasin is not a milo.
sent1: the refectory is not a buff if the toiler is not a wildfire. sent2: the refectory is not a wildfire if the toiler is non-vocational. sent3: the refectory is not a wildfire if that the toiler is not a buff but it is vocational does not hold. sent4: if there is something such that the fact that it is a wildfire or it is not social or both does not hold then the moccasin is not a milo. sent5: the fact that the rover does not buff is not incorrect. sent6: the fact that the toiler is not a buff but it is vocational does not hold. sent7: there is something such that the fact that it is either unsocial or vocational or both is not right. sent8: if the refectory is not a wildfire the fact that the rover is a kind of a wildfire or it is unsocial or both is wrong. sent9: the toiler does not sneeze. sent10: the rover is not vocational if the fact that the toiler is not a wildfire but unsocial is not true. sent11: if there is something such that the fact that it is a buff and/or a milo does not hold then the rover is not unsocial. sent12: the fact that the colophon is a grey and/or it does barter is wrong. sent13: if the refectory is not a milo then the rover is not a wildfire. sent14: that the toiler is not a buff and is unsocial is false. sent15: if there is something such that that it is vocational and/or a milo does not hold then the moccasin is not a buff. sent16: the moccasin is not a wildfire. sent17: there exists something such that it is not a boundary. sent18: the moccasin is not vocational.
sent3 & sent6 -> int1: the refectory is not a kind of a wildfire.; sent8 & int1 -> int2: that the rover is a wildfire or it is unsocial or both is wrong.; int2 -> int3: there exists something such that the fact that it is a wildfire and/or it is unsocial does not hold.; int3 & sent4 -> hypothesis;
$hypothesis$ = the moccasin is not a milo. ; $context$ = sent1: the refectory is not a buff if the toiler is not a wildfire. sent2: the refectory is not a wildfire if the toiler is non-vocational. sent3: the refectory is not a wildfire if that the toiler is not a buff but it is vocational does not hold. sent4: if there is something such that the fact that it is a wildfire or it is not social or both does not hold then the moccasin is not a milo. sent5: the fact that the rover does not buff is not incorrect. sent6: the fact that the toiler is not a buff but it is vocational does not hold. sent7: there is something such that the fact that it is either unsocial or vocational or both is not right. sent8: if the refectory is not a wildfire the fact that the rover is a kind of a wildfire or it is unsocial or both is wrong. sent9: the toiler does not sneeze. sent10: the rover is not vocational if the fact that the toiler is not a wildfire but unsocial is not true. sent11: if there is something such that the fact that it is a buff and/or a milo does not hold then the rover is not unsocial. sent12: the fact that the colophon is a grey and/or it does barter is wrong. sent13: if the refectory is not a milo then the rover is not a wildfire. sent14: that the toiler is not a buff and is unsocial is false. sent15: if there is something such that that it is vocational and/or a milo does not hold then the moccasin is not a buff. sent16: the moccasin is not a wildfire. sent17: there exists something such that it is not a boundary. sent18: the moccasin is not vocational. ; $proof$ = 
sent3 & sent6 -> int1: the refectory is not a kind of a wildfire.; sent8 & int1 -> int2: that the rover is a wildfire or it is unsocial or both is wrong.; int2 -> int3: there exists something such that the fact that it is a wildfire and/or it is unsocial does not hold.; int3 & sent4 -> hypothesis; __PROVED__