if the fact that the usher is a policeman is true then the marquee is not a Algerian.
sent1: the marquee is a policeman. sent2: the bustle is not a Malay. sent3: the usher is not a Malay if the marquee is a policeman and/or it is a kind of a Algerian. sent4: the usher is not a Algerian. sent5: the marquee is a kind of a Algerian and/or it is not non-Malay. sent6: if the usher is Algerian the marquee is a kind of a Malay. sent7: if the usher is a kind of a Algerian the marquee is a policeman. sent8: if the usher is a Malay then the marquee is not Algerian. sent9: the marquee is Malay. sent10: the usher is not a Algerian if the marquee is Malay. sent11: if the suslik is a Algerian then the shawny is a policeman. sent12: the marquee is a Coniogramme. sent13: the marquee does not covet suslik. sent14: if something that is not Algerian is a kind of a shuffleboard then it is not a Malay. sent15: everything is not an outlier. sent16: the usher is a policeman or it is Algerian or both. sent17: the marquee is Malay and/or is a Algerian. sent18: if either the usher is a Algerian or it is a Malay or both the marquee is not a policeman.
void -> assump1: Let's assume that the usher is a policeman.; assump1 -> int1: the fact that the usher is a kind of a Malay and/or is a policeman is true.;
the beech is a policeman.
sent15 -> int2: the marquee is not an outlier.; sent14 -> int3: if the usher is not a Algerian but a shuffleboard it is not Malay.;
$hypothesis$ = if the fact that the usher is a policeman is true then the marquee is not a Algerian. ; $context$ = sent1: the marquee is a policeman. sent2: the bustle is not a Malay. sent3: the usher is not a Malay if the marquee is a policeman and/or it is a kind of a Algerian. sent4: the usher is not a Algerian. sent5: the marquee is a kind of a Algerian and/or it is not non-Malay. sent6: if the usher is Algerian the marquee is a kind of a Malay. sent7: if the usher is a kind of a Algerian the marquee is a policeman. sent8: if the usher is a Malay then the marquee is not Algerian. sent9: the marquee is Malay. sent10: the usher is not a Algerian if the marquee is Malay. sent11: if the suslik is a Algerian then the shawny is a policeman. sent12: the marquee is a Coniogramme. sent13: the marquee does not covet suslik. sent14: if something that is not Algerian is a kind of a shuffleboard then it is not a Malay. sent15: everything is not an outlier. sent16: the usher is a policeman or it is Algerian or both. sent17: the marquee is Malay and/or is a Algerian. sent18: if either the usher is a Algerian or it is a Malay or both the marquee is not a policeman. ; $proof$ = 
void -> assump1: Let's assume that the usher is a policeman.; assump1 -> int1: the fact that the usher is a kind of a Malay and/or is a policeman is true.; __UNKNOWN__