there is something such that if it is a kind of a spiel and it is not a dosser then the fact that it is intramural hold.
sent1: if something that is a spiel is not a dosser it is intramural. sent2: if something is a spiel and a dosser then it is intramural. sent3: if the Bast is a spiel and it is a dosser then it is intramural. sent4: if something does concretize hymeneal but it is not a Galsworthy it synthesizes.
sent1 -> int1: the Bast is not non-intramural if it is a kind of a spiel and is not a dosser.; int1 -> hypothesis;
there is something such that if it does concretize hymeneal and it is not a Galsworthy it does synthesize.
sent4 -> int2: if the dobson concretizes hymeneal but it is not a kind of a Galsworthy then it does synthesize.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a spiel and it is not a dosser then the fact that it is intramural hold. ; $context$ = sent1: if something that is a spiel is not a dosser it is intramural. sent2: if something is a spiel and a dosser then it is intramural. sent3: if the Bast is a spiel and it is a dosser then it is intramural. sent4: if something does concretize hymeneal but it is not a Galsworthy it synthesizes. ; $proof$ = 
sent1 -> int1: the Bast is not non-intramural if it is a kind of a spiel and is not a dosser.; int1 -> hypothesis; __PROVED__