the lota is tortious.
sent1: if the battlefront is not successful then the solitaire is a kind of non-benzenoid a certiorari. sent2: the plasterer is not a kind of a hellgrammiate. sent3: the choler is pasta if the fact that the fact that the bonbon does maintain evaluation and is not a kind of a demotion is true is false. sent4: the lota is a fortuneteller and it tightens beggar-my-neighbor. sent5: if the plasterer is a kind of a hellgrammiate it is a demotion. sent6: if the battlefront is not pasta the choler is both successful and a daystar. sent7: the lota is tortious if there exists something such that it is a pasta that does detribalize beast. sent8: if something is a daystar it does detribalize beast. sent9: if something that does detribalize silly is exodontic it is not a differential. sent10: if the choler is not a demotion then the solitaire is a daystar. sent11: if the plasterer is not a hellgrammiate then the choler is a kind of a daystar and it slags. sent12: the fact that the bonbon maintains evaluation but it is not a kind of a demotion is incorrect if the solitaire is not a demotion. sent13: the battlefront is not successful. sent14: the fact that the bonbon does maintain evaluation and is a demotion is false if the solitaire is not a demotion. sent15: the hepatotoxin is not tortious but it is sterile.
sent1 & sent13 -> int1: the solitaire is not benzenoid but it is a kind of a certiorari.; sent8 -> int2: if the choler is a daystar it does detribalize beast.; sent11 & sent2 -> int3: the choler is a kind of a daystar that slags.; int3 -> int4: the fact that the choler is a kind of a daystar is right.; int2 & int4 -> int5: the choler does detribalize beast.;
$hypothesis$ = the lota is tortious. ; $context$ = sent1: if the battlefront is not successful then the solitaire is a kind of non-benzenoid a certiorari. sent2: the plasterer is not a kind of a hellgrammiate. sent3: the choler is pasta if the fact that the fact that the bonbon does maintain evaluation and is not a kind of a demotion is true is false. sent4: the lota is a fortuneteller and it tightens beggar-my-neighbor. sent5: if the plasterer is a kind of a hellgrammiate it is a demotion. sent6: if the battlefront is not pasta the choler is both successful and a daystar. sent7: the lota is tortious if there exists something such that it is a pasta that does detribalize beast. sent8: if something is a daystar it does detribalize beast. sent9: if something that does detribalize silly is exodontic it is not a differential. sent10: if the choler is not a demotion then the solitaire is a daystar. sent11: if the plasterer is not a hellgrammiate then the choler is a kind of a daystar and it slags. sent12: the fact that the bonbon maintains evaluation but it is not a kind of a demotion is incorrect if the solitaire is not a demotion. sent13: the battlefront is not successful. sent14: the fact that the bonbon does maintain evaluation and is a demotion is false if the solitaire is not a demotion. sent15: the hepatotoxin is not tortious but it is sterile. ; $proof$ = 
sent1 & sent13 -> int1: the solitaire is not benzenoid but it is a kind of a certiorari.; sent8 -> int2: if the choler is a daystar it does detribalize beast.; sent11 & sent2 -> int3: the choler is a kind of a daystar that slags.; int3 -> int4: the fact that the choler is a kind of a daystar is right.; int2 & int4 -> int5: the choler does detribalize beast.; __UNKNOWN__