the Rolodex is not a kind of a trammel.
sent1: if something does not negotiate leftovers it is not a kind of a Christianization and it does not behold bloat. sent2: The fact that the leftovers negotiates Rolodex is not false. sent3: The meerkat does not behold kohleria. sent4: if something is not gastric and does not negotiate soda then it rabbits. sent5: the kohleria does not behold meerkat. sent6: the fact that the Rolodex negotiates leftovers is not false. sent7: the Rolodex beholds eschar and is a kind of a gaseousness. sent8: something is a rabbit if it is not a kind of a trammel and is gastric. sent9: the meerkat does negotiate soda and it is a totipotency. sent10: the kohleria is not gastric and does not negotiate soda if it does not behold meerkat. sent11: the Rolodex does not negotiate soda.
void -> assump1: Let's assume that the Rolodex is a trammel.; assump1 & sent6 -> int1: the Rolodex is a trammel and it negotiates leftovers.; sent4 -> int2: if the kohleria is non-gastric thing that does not negotiate soda it is a rabbit.; sent10 & sent5 -> int3: the kohleria is a kind of non-gastric thing that does not negotiate soda.; int2 & int3 -> int4: the kohleria does rabbit.;
if the part does not negotiate leftovers it is not a kind of a Christianization and it does not behold bloat.
sent1 -> hypothesis;
$hypothesis$ = the Rolodex is not a kind of a trammel. ; $context$ = sent1: if something does not negotiate leftovers it is not a kind of a Christianization and it does not behold bloat. sent2: The fact that the leftovers negotiates Rolodex is not false. sent3: The meerkat does not behold kohleria. sent4: if something is not gastric and does not negotiate soda then it rabbits. sent5: the kohleria does not behold meerkat. sent6: the fact that the Rolodex negotiates leftovers is not false. sent7: the Rolodex beholds eschar and is a kind of a gaseousness. sent8: something is a rabbit if it is not a kind of a trammel and is gastric. sent9: the meerkat does negotiate soda and it is a totipotency. sent10: the kohleria is not gastric and does not negotiate soda if it does not behold meerkat. sent11: the Rolodex does not negotiate soda. ; $proof$ = 
void -> assump1: Let's assume that the Rolodex is a trammel.; assump1 & sent6 -> int1: the Rolodex is a trammel and it negotiates leftovers.; sent4 -> int2: if the kohleria is non-gastric thing that does not negotiate soda it is a rabbit.; sent10 & sent5 -> int3: the kohleria is a kind of non-gastric thing that does not negotiate soda.; int2 & int3 -> int4: the kohleria does rabbit.; __UNKNOWN__