there exists something such that if it is a lingual it is not a diffuseness.
sent1: the photomontage is a pardon if something is a horsebox but it is not Olympic. sent2: a pardon that is lingual is not a kind of a diffuseness.
void -> assump1: Let's assume that the photomontage is a lingual.; sent2 -> int1: if the photomontage is both a pardon and a lingual it is not a kind of a diffuseness.;
$hypothesis$ = there exists something such that if it is a lingual it is not a diffuseness. ; $context$ = sent1: the photomontage is a pardon if something is a horsebox but it is not Olympic. sent2: a pardon that is lingual is not a kind of a diffuseness. ; $proof$ = 
void -> assump1: Let's assume that the photomontage is a lingual.; sent2 -> int1: if the photomontage is both a pardon and a lingual it is not a kind of a diffuseness.; __UNKNOWN__