if the footplate is not a kind of a ginseng and is a kind of a skipper then the hotel is a night-light.
sent1: the footplate skippers. sent2: the hotel is not starry if there exists something such that the fact that it is starry and it is chaetal is false. sent3: the fact that something is starry and it is chaetal is not true if it does not turn manatee. sent4: the footplate is Rooseveltian if it is not a ginseng and it is a skipper. sent5: the handler is a night-light. sent6: the footplate is a kind of a ginseng if the hotel is Rooseveltian. sent7: if the footplate is not a kind of a night-light but it is a ginseng then the fact that it does skipper is true. sent8: if the footplate is not non-Rooseveltian then the fact that the hotel is a night-light is right. sent9: if the footplate is not a night-light then the blazer is not a tabloid but it is a kind of a slap. sent10: everything does not turn manatee. sent11: something that is not starry is not Rooseveltian and is not a kind of a minicar. sent12: the fact that the hotel is a kind of a ginseng is right if it is a kind of a night-light and it does skipper.
void -> assump1: Let's assume that the footplate is not a ginseng but it is a skipper.; sent4 & assump1 -> int1: the footplate is Rooseveltian.; sent8 & int1 -> int2: the hotel is a night-light.; [assump1] & int2 -> hypothesis;
the blazer is not a tabloid but it does slap.
sent11 -> int3: if the hotel is not starry then it is not Rooseveltian and it is not a kind of a minicar.; sent3 -> int4: the fact that the lighting is starry and is chaetal is wrong if it does not turn manatee.; sent10 -> int5: the lighting does not turn manatee.; int4 & int5 -> int6: the fact that the lighting is starry and is chaetal does not hold.; int6 -> int7: there is nothing such that it is starry and it is chaetal.; int7 -> int8: that the minium is starry thing that is chaetal does not hold.; int8 -> int9: there exists something such that the fact that it is starry and it is chaetal does not hold.; int9 & sent2 -> int10: that the hotel is not starry is correct.; int3 & int10 -> int11: that the hotel is not Rooseveltian and it is not a minicar is not incorrect.; int11 -> int12: there exists something such that it is a kind of non-Rooseveltian thing that is not a kind of a minicar.;
$hypothesis$ = if the footplate is not a kind of a ginseng and is a kind of a skipper then the hotel is a night-light. ; $context$ = sent1: the footplate skippers. sent2: the hotel is not starry if there exists something such that the fact that it is starry and it is chaetal is false. sent3: the fact that something is starry and it is chaetal is not true if it does not turn manatee. sent4: the footplate is Rooseveltian if it is not a ginseng and it is a skipper. sent5: the handler is a night-light. sent6: the footplate is a kind of a ginseng if the hotel is Rooseveltian. sent7: if the footplate is not a kind of a night-light but it is a ginseng then the fact that it does skipper is true. sent8: if the footplate is not non-Rooseveltian then the fact that the hotel is a night-light is right. sent9: if the footplate is not a night-light then the blazer is not a tabloid but it is a kind of a slap. sent10: everything does not turn manatee. sent11: something that is not starry is not Rooseveltian and is not a kind of a minicar. sent12: the fact that the hotel is a kind of a ginseng is right if it is a kind of a night-light and it does skipper. ; $proof$ = 
void -> assump1: Let's assume that the footplate is not a ginseng but it is a skipper.; sent4 & assump1 -> int1: the footplate is Rooseveltian.; sent8 & int1 -> int2: the hotel is a night-light.; [assump1] & int2 -> hypothesis; __PROVED__