the Benny is both frequent and autoimmune.
sent1: if there is something such that it does camouflage placement that the overmantel is non-incident thing that strums is not wrong. sent2: if the calceus does sizzle then the Benny maintains jukebox. sent3: something is Huxleyan if it is a Halenia. sent4: the overmantel is a strum if there exists something such that it camouflages placement. sent5: the fact that the calceus is a sizzle is true if the hansom is not a kind of a Halenia and it is not carboniferous. sent6: if the life-of-man is a hypothetical the hansom is not carboniferous. sent7: if the life-of-man is a hypothetical the hansom is not a Halenia and it is not carboniferous. sent8: everything is not non-autoimmune and it is Huxleyan. sent9: if the hansom is not a strum and is not an incident the overmantel is a Halenia. sent10: if something does maintain jukebox then the fact that it frequents is true. sent11: the overmantel does maintain jukebox. sent12: there is something such that it camouflages placement. sent13: the hansom is non-carboniferous.
sent12 & sent1 -> int1: the overmantel is a kind of non-incident thing that is a kind of a strum.; sent10 -> int2: the Benny frequents if it does maintain jukebox.; sent8 -> int3: the Benny is autoimmune and it is Huxleyan.; int3 -> int4: the Benny is autoimmune.;
$hypothesis$ = the Benny is both frequent and autoimmune. ; $context$ = sent1: if there is something such that it does camouflage placement that the overmantel is non-incident thing that strums is not wrong. sent2: if the calceus does sizzle then the Benny maintains jukebox. sent3: something is Huxleyan if it is a Halenia. sent4: the overmantel is a strum if there exists something such that it camouflages placement. sent5: the fact that the calceus is a sizzle is true if the hansom is not a kind of a Halenia and it is not carboniferous. sent6: if the life-of-man is a hypothetical the hansom is not carboniferous. sent7: if the life-of-man is a hypothetical the hansom is not a Halenia and it is not carboniferous. sent8: everything is not non-autoimmune and it is Huxleyan. sent9: if the hansom is not a strum and is not an incident the overmantel is a Halenia. sent10: if something does maintain jukebox then the fact that it frequents is true. sent11: the overmantel does maintain jukebox. sent12: there is something such that it camouflages placement. sent13: the hansom is non-carboniferous. ; $proof$ = 
sent12 & sent1 -> int1: the overmantel is a kind of non-incident thing that is a kind of a strum.; sent10 -> int2: the Benny frequents if it does maintain jukebox.; sent8 -> int3: the Benny is autoimmune and it is Huxleyan.; int3 -> int4: the Benny is autoimmune.; __UNKNOWN__