the lion-hunter is electoral.
sent1: the iceman is effortful if the Brazil does oxygenate antrum. sent2: the lion-hunter is electoral if the fact that the marseille updates yolk but it is not a kind of a rupee is wrong. sent3: if either something is a kind of a gadolinite or it gallivants or both it does not twill Cheviot. sent4: if something is not effortful it oxygenates Cebu and it does oxygenate antrum. sent5: if the fact that the stockroom does not update yolk and is not a gadolinite is true that the marseille does not twill Cheviot hold. sent6: the iceman does not update yolk and is not electoral if it is a periclase. sent7: something does not twill Cheviot if it is a gadolinite. sent8: the iceman is a periclase. sent9: the fact that the marseille does update yolk and it is a kind of a rupee does not hold if the highboy does not twill Cheviot. sent10: the junk is a periclase. sent11: if the highboy does not gallivant and does not oxygenate antrum the iceman oxygenate antrum. sent12: the Brazil does oxygenate antrum. sent13: the Brazil does not gallivant if the iceman is not a rupee and/or it is not a gadolinite. sent14: if the Brazil is not effortful but it is electoral then the lion-hunter is not electoral. sent15: if the iceman does not update yolk then it is not a rupee and/or it is not a gadolinite. sent16: the highboy does not gallivant if the marseille does not twill Cheviot and does not gallivant. sent17: if the iceman is effortful then the highboy gallivants. sent18: The antrum does oxygenate Brazil.
sent1 & sent12 -> int1: the iceman is effortful.; int1 & sent17 -> int2: the highboy does gallivant.; int2 -> int3: the highboy is a kind of a gadolinite or does gallivant or both.; sent3 -> int4: the highboy does not twill Cheviot if it is a kind of a gadolinite and/or it does gallivant.; int3 & int4 -> int5: the highboy does not twill Cheviot.;
the special either twills Cheviot or oxygenates Cebu or both.
sent4 -> int6: if the special is not effortful then it does oxygenate Cebu and oxygenates antrum.; sent6 & sent8 -> int7: the iceman does not update yolk and is not electoral.; int7 -> int8: the iceman does not update yolk.; sent15 & int8 -> int9: the iceman is not a kind of a rupee and/or it is not a kind of a gadolinite.; sent13 & int9 -> int10: the Brazil does not gallivant.; int10 -> int11: there exists something such that it does not gallivant.;
$hypothesis$ = the lion-hunter is electoral. ; $context$ = sent1: the iceman is effortful if the Brazil does oxygenate antrum. sent2: the lion-hunter is electoral if the fact that the marseille updates yolk but it is not a kind of a rupee is wrong. sent3: if either something is a kind of a gadolinite or it gallivants or both it does not twill Cheviot. sent4: if something is not effortful it oxygenates Cebu and it does oxygenate antrum. sent5: if the fact that the stockroom does not update yolk and is not a gadolinite is true that the marseille does not twill Cheviot hold. sent6: the iceman does not update yolk and is not electoral if it is a periclase. sent7: something does not twill Cheviot if it is a gadolinite. sent8: the iceman is a periclase. sent9: the fact that the marseille does update yolk and it is a kind of a rupee does not hold if the highboy does not twill Cheviot. sent10: the junk is a periclase. sent11: if the highboy does not gallivant and does not oxygenate antrum the iceman oxygenate antrum. sent12: the Brazil does oxygenate antrum. sent13: the Brazil does not gallivant if the iceman is not a rupee and/or it is not a gadolinite. sent14: if the Brazil is not effortful but it is electoral then the lion-hunter is not electoral. sent15: if the iceman does not update yolk then it is not a rupee and/or it is not a gadolinite. sent16: the highboy does not gallivant if the marseille does not twill Cheviot and does not gallivant. sent17: if the iceman is effortful then the highboy gallivants. sent18: The antrum does oxygenate Brazil. ; $proof$ = 
sent1 & sent12 -> int1: the iceman is effortful.; int1 & sent17 -> int2: the highboy does gallivant.; int2 -> int3: the highboy is a kind of a gadolinite or does gallivant or both.; sent3 -> int4: the highboy does not twill Cheviot if it is a kind of a gadolinite and/or it does gallivant.; int3 & int4 -> int5: the highboy does not twill Cheviot.; __UNKNOWN__