the kitchen is not bolographic.
sent1: the Brazilian is not a restfulness. sent2: the kitchen is an aquarium. sent3: the kitchen is bolographic if the epicanthus is a restfulness. sent4: the peregrine is non-heroic if it is sublittoral and it is not a moviegoer. sent5: if something does abdicate then it is a kind of an elegance and does not circularize Trogonidae. sent6: the lactose is a kind of a wallboard but it is not a moviegoer if it is intervertebral. sent7: the kitchen is a restfulness. sent8: if the kitchen is a kind of an elegance then it does refrain tenebrionid and is not a kind of a diethylstilbesterol. sent9: if the kitchen is a moviegoer that is not an elegance then it is not bolographic. sent10: the kitchen is non-bolographic if it is a kind of a moviegoer that is an elegance. sent11: if the kitchen is a restfulness it is not an elegance. sent12: the fact that the kitchen is not a kind of an elegance is right. sent13: the fact that the kitchen is a scrapbook and not an elegance is true if it is a cryptomonad. sent14: if the kitchen is a restfulness it is a kind of a moviegoer and it is not an elegance.
sent14 & sent7 -> int1: the kitchen is a moviegoer but it is not an elegance.; int1 & sent9 -> hypothesis;
the kitchen is bolographic.
$hypothesis$ = the kitchen is not bolographic. ; $context$ = sent1: the Brazilian is not a restfulness. sent2: the kitchen is an aquarium. sent3: the kitchen is bolographic if the epicanthus is a restfulness. sent4: the peregrine is non-heroic if it is sublittoral and it is not a moviegoer. sent5: if something does abdicate then it is a kind of an elegance and does not circularize Trogonidae. sent6: the lactose is a kind of a wallboard but it is not a moviegoer if it is intervertebral. sent7: the kitchen is a restfulness. sent8: if the kitchen is a kind of an elegance then it does refrain tenebrionid and is not a kind of a diethylstilbesterol. sent9: if the kitchen is a moviegoer that is not an elegance then it is not bolographic. sent10: the kitchen is non-bolographic if it is a kind of a moviegoer that is an elegance. sent11: if the kitchen is a restfulness it is not an elegance. sent12: the fact that the kitchen is not a kind of an elegance is right. sent13: the fact that the kitchen is a scrapbook and not an elegance is true if it is a cryptomonad. sent14: if the kitchen is a restfulness it is a kind of a moviegoer and it is not an elegance. ; $proof$ = 
sent14 & sent7 -> int1: the kitchen is a moviegoer but it is not an elegance.; int1 & sent9 -> hypothesis; __PROVED__