there is something such that if it is not a bunfight and is not a Brazilian it is a mustache.
sent1: there is something such that if it is non-unobjectionable thing that is dimensional it is a Dhaka. sent2: something is a mustache if it is not a kind of a bunfight and it is not Brazilian. sent3: something that is not a dither and does not gild raider is not Hispaniolan. sent4: if something is not a kind of an actress and it is not a stickpin it is nonpolitical.
sent2 -> int1: the rushlight is a mustache if it is not a kind of a bunfight and it is not a kind of a Brazilian.; int1 -> hypothesis;
there exists something such that if it is not an actress and is not a stickpin it is not political.
sent4 -> int2: that the plonk is nonpolitical is correct if it is not an actress and it is not a stickpin.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a bunfight and is not a Brazilian it is a mustache. ; $context$ = sent1: there is something such that if it is non-unobjectionable thing that is dimensional it is a Dhaka. sent2: something is a mustache if it is not a kind of a bunfight and it is not Brazilian. sent3: something that is not a dither and does not gild raider is not Hispaniolan. sent4: if something is not a kind of an actress and it is not a stickpin it is nonpolitical. ; $proof$ = 
sent2 -> int1: the rushlight is a mustache if it is not a kind of a bunfight and it is not a kind of a Brazilian.; int1 -> hypothesis; __PROVED__