if the oleoresin is hot and is not a kind of a wigged the disintegration is not a kind of a Angolan.
sent1: if the disintegration is hot and it is a Angolan then the oleoresin is not a wigged. sent2: the disintegration is not a Angolan if something is hot and a wigged. sent3: something is Angolan but it is not a wigged. sent4: something is a Angolan. sent5: the disk is not a wigged. sent6: there is something such that it is unnoticeable. sent7: the disintegration is not a Angolan if the oleoresin is hot and it is a wigged. sent8: there is something such that it is not a Zanuck. sent9: the disintegration is a Angolan if the oleoresin is hot and not a wigged. sent10: the oleoresin is not a kind of a wigged. sent11: something is a calcium but it is not incompetent. sent12: the oleoresin is not a wigged if there are hot and non-Angolan things. sent13: the disintegration is a Angolan. sent14: something is a wigged and is not Angolan. sent15: there is something such that that it is a kind of a pocket-handkerchief is false. sent16: something is not appropriative.
void -> assump1: Let's assume that the oleoresin is hot but it is not a wigged.; assump1 -> int1: something is hot and is not a kind of a wigged.;
$hypothesis$ = if the oleoresin is hot and is not a kind of a wigged the disintegration is not a kind of a Angolan. ; $context$ = sent1: if the disintegration is hot and it is a Angolan then the oleoresin is not a wigged. sent2: the disintegration is not a Angolan if something is hot and a wigged. sent3: something is Angolan but it is not a wigged. sent4: something is a Angolan. sent5: the disk is not a wigged. sent6: there is something such that it is unnoticeable. sent7: the disintegration is not a Angolan if the oleoresin is hot and it is a wigged. sent8: there is something such that it is not a Zanuck. sent9: the disintegration is a Angolan if the oleoresin is hot and not a wigged. sent10: the oleoresin is not a kind of a wigged. sent11: something is a calcium but it is not incompetent. sent12: the oleoresin is not a wigged if there are hot and non-Angolan things. sent13: the disintegration is a Angolan. sent14: something is a wigged and is not Angolan. sent15: there is something such that that it is a kind of a pocket-handkerchief is false. sent16: something is not appropriative. ; $proof$ = 
void -> assump1: Let's assume that the oleoresin is hot but it is not a wigged.; assump1 -> int1: something is hot and is not a kind of a wigged.; __UNKNOWN__