the banger is an acid and it is a kind of a Dekker.
sent1: something is a sense but not a immovability. sent2: if something that does sense is not a immovability then the banger is a Dekker. sent3: the banger is an acid and it congratulates banger. sent4: the brittle is a Akan and it does congratulate Boann. sent5: something does not congratulate banger and does not testify feminist if it is not an eggnog. sent6: something is not an acid if it does not congratulate banger and does not testify feminist. sent7: the banger is a kind of a immovability.
sent1 & sent2 -> int1: the banger is a kind of a Dekker.; sent3 -> int2: the banger is an acid.; int1 & int2 -> hypothesis;
that the banger is an acid and is a kind of a Dekker is not right.
sent6 -> int3: if the Nanticoke does not congratulate banger and does not testify feminist it is not a kind of an acid.; sent5 -> int4: if the Nanticoke is not an eggnog it does not congratulate banger and it does not testify feminist.;
$hypothesis$ = the banger is an acid and it is a kind of a Dekker. ; $context$ = sent1: something is a sense but not a immovability. sent2: if something that does sense is not a immovability then the banger is a Dekker. sent3: the banger is an acid and it congratulates banger. sent4: the brittle is a Akan and it does congratulate Boann. sent5: something does not congratulate banger and does not testify feminist if it is not an eggnog. sent6: something is not an acid if it does not congratulate banger and does not testify feminist. sent7: the banger is a kind of a immovability. ; $proof$ = 
sent1 & sent2 -> int1: the banger is a kind of a Dekker.; sent3 -> int2: the banger is an acid.; int1 & int2 -> hypothesis; __PROVED__