the tenement is not a kind of an image and does beat strait.
sent1: the dulcimer is an image if the brassavola is all. sent2: there exists something such that the fact that it is not a broomstick and it does fudge catsup is wrong. sent3: the dulcimer is not a kind of an image if the tenement is non-all. sent4: if the dulcimer is non-all the tenement is not an image but it beats strait. sent5: the brassavola is not non-all if the strait is not non-all. sent6: the dulcimer is not all if there exists something such that the fact that it is not a broomstick and it fudges catsup is wrong. sent7: if something is a kind of a reinsurance but it is not intertribal it is not all. sent8: something is a reinsurance and is not intertribal if it spots Bambuseae. sent9: if the strait does not beat Hill then it spots Bambuseae and trusts.
sent2 & sent6 -> int1: the dulcimer is not all.; sent4 & int1 -> hypothesis;
that that the tenement is not a kind of an image and beats strait is false is not wrong.
sent7 -> int2: if the strait is both a reinsurance and not intertribal it is not all.; sent8 -> int3: the strait is a reinsurance and non-intertribal if it does spot Bambuseae.;
$hypothesis$ = the tenement is not a kind of an image and does beat strait. ; $context$ = sent1: the dulcimer is an image if the brassavola is all. sent2: there exists something such that the fact that it is not a broomstick and it does fudge catsup is wrong. sent3: the dulcimer is not a kind of an image if the tenement is non-all. sent4: if the dulcimer is non-all the tenement is not an image but it beats strait. sent5: the brassavola is not non-all if the strait is not non-all. sent6: the dulcimer is not all if there exists something such that the fact that it is not a broomstick and it fudges catsup is wrong. sent7: if something is a kind of a reinsurance but it is not intertribal it is not all. sent8: something is a reinsurance and is not intertribal if it spots Bambuseae. sent9: if the strait does not beat Hill then it spots Bambuseae and trusts. ; $proof$ = 
sent2 & sent6 -> int1: the dulcimer is not all.; sent4 & int1 -> hypothesis; __PROVED__