the Set offsets inducement.
sent1: there is something such that it is cowardly. sent2: something deticks kilogram-meter and is nontoxic. sent3: the Rock offsets tropicbird. sent4: the hominid summarizes Stanley if it is not interoceptive. sent5: something that does not offset tipper and is catalatic does not offset suffragism. sent6: if there exists something such that the fact that it does not frisk affect and does not detick boxwood does not hold the grapevine does offset tropicbird. sent7: there exists something such that it offsets tipper and it does offset tropicbird. sent8: the laureate refines if the Set does offset tipper. sent9: there is something such that that it does not frisk affect and deticks boxwood does not hold. sent10: if the laureate does refine and/or it is not non-Voltarian then the grapevine does not offset tropicbird. sent11: something is a cardiology and octal. sent12: the fact that the grapevine does not offset tropicbird is not incorrect if the laureate is Voltarian. sent13: if something does not offset suffragism then it does offset inducement. sent14: something that does not offset inducement or does offset tipper or both does not offset inducement. sent15: the Set is catalatic if something is cowardly thing that deticks commissioned. sent16: everything is not Voltarian. sent17: that the Rock does not frisk affect and does not detick boxwood does not hold. sent18: the fact that something does offset tropicbird and it refines is wrong if it is not Voltarian. sent19: the grapevine does not detick commissioned.
void -> assump1: Let's assume that the Set offsets tipper.; sent8 & assump1 -> int1: the laureate refines.; int1 -> int2: the laureate either does refine or is Voltarian or both.; int2 & sent10 -> int3: that the grapevine does not offset tropicbird is correct.; sent17 -> int4: there exists something such that that it does not frisk affect and does not detick boxwood does not hold.; int4 & sent6 -> int5: the grapevine offsets tropicbird.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Set does not offset tipper.; sent5 -> int8: if the Set does not offset tipper and is catalatic then it does not offset suffragism.; sent13 -> int9: if the Set does not offset suffragism then the fact that it does offset inducement hold.;
the Set does not offset inducement.
sent14 -> int10: if the Set does not offset inducement and/or it offsets tipper it does not offset inducement.; sent18 -> int11: if the grapevine is not Voltarian that it offsets tropicbird and does refine is wrong.; sent16 -> int12: the grapevine is not Voltarian.; int11 & int12 -> int13: that the grapevine does offset tropicbird and it refines does not hold.; int13 -> int14: there is nothing that does offset tropicbird and refines.; int14 -> int15: that the fact that the laureate offsets tropicbird and it refines is not false is wrong.;
$hypothesis$ = the Set offsets inducement. ; $context$ = sent1: there is something such that it is cowardly. sent2: something deticks kilogram-meter and is nontoxic. sent3: the Rock offsets tropicbird. sent4: the hominid summarizes Stanley if it is not interoceptive. sent5: something that does not offset tipper and is catalatic does not offset suffragism. sent6: if there exists something such that the fact that it does not frisk affect and does not detick boxwood does not hold the grapevine does offset tropicbird. sent7: there exists something such that it offsets tipper and it does offset tropicbird. sent8: the laureate refines if the Set does offset tipper. sent9: there is something such that that it does not frisk affect and deticks boxwood does not hold. sent10: if the laureate does refine and/or it is not non-Voltarian then the grapevine does not offset tropicbird. sent11: something is a cardiology and octal. sent12: the fact that the grapevine does not offset tropicbird is not incorrect if the laureate is Voltarian. sent13: if something does not offset suffragism then it does offset inducement. sent14: something that does not offset inducement or does offset tipper or both does not offset inducement. sent15: the Set is catalatic if something is cowardly thing that deticks commissioned. sent16: everything is not Voltarian. sent17: that the Rock does not frisk affect and does not detick boxwood does not hold. sent18: the fact that something does offset tropicbird and it refines is wrong if it is not Voltarian. sent19: the grapevine does not detick commissioned. ; $proof$ = 
void -> assump1: Let's assume that the Set offsets tipper.; sent8 & assump1 -> int1: the laureate refines.; int1 -> int2: the laureate either does refine or is Voltarian or both.; int2 & sent10 -> int3: that the grapevine does not offset tropicbird is correct.; sent17 -> int4: there exists something such that that it does not frisk affect and does not detick boxwood does not hold.; int4 & sent6 -> int5: the grapevine offsets tropicbird.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Set does not offset tipper.; sent5 -> int8: if the Set does not offset tipper and is catalatic then it does not offset suffragism.; sent13 -> int9: if the Set does not offset suffragism then the fact that it does offset inducement hold.; __UNKNOWN__