the tile is bicipital.
sent1: the kosher does result triacetate. sent2: everything does not google. sent3: The triacetate does result kosher. sent4: the tile is not bicipital if the fact that it does not reflect Hyperion or it does indent or both is not correct. sent5: the kosher is not a ghrelin. sent6: the bidding is not a illiberality. sent7: if the kosher is not a kind of a ghrelin and does wake capulin then that it does google hold. sent8: if that the tile is not an indent and it does not google is not true it does google. sent9: the kosher is not a illiberality if that it is not a ghrelin and does wake capulin is false. sent10: the lute does not wake capulin. sent11: if the entrance is not an indent that the tile does not reflect Hyperion and/or it is an indent does not hold. sent12: the tile is not a least but it is a kind of a gravidity. sent13: if the kosher is not a illiberality and results triacetate the entrance is not an indent. sent14: the tile is not a illiberality if there is something such that it does not reflect Hyperion and it does result triacetate. sent15: something does not reflect Hyperion and does result triacetate if it is not an ogress.
void -> assump1: Let's assume that the kosher is not a ghrelin and wakes capulin.; sent7 & assump1 -> int1: the kosher does google.; sent2 -> int2: the kosher does not google.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the kosher is not a ghrelin but it wakes capulin does not hold.; int4 & sent9 -> int5: the kosher is not a illiberality.; int5 & sent1 -> int6: the kosher is not a illiberality but it results triacetate.; int6 & sent13 -> int7: the entrance is not an indent.; int7 & sent11 -> int8: the fact that the tile does not reflect Hyperion and/or is an indent does not hold.; int8 & sent4 -> hypothesis;
the fact that the tile is bicipital hold.
sent15 -> int9: if the entrance is not an ogress it does not reflect Hyperion and it results triacetate.; sent12 -> int10: the tile is not least.;
$hypothesis$ = the tile is bicipital. ; $context$ = sent1: the kosher does result triacetate. sent2: everything does not google. sent3: The triacetate does result kosher. sent4: the tile is not bicipital if the fact that it does not reflect Hyperion or it does indent or both is not correct. sent5: the kosher is not a ghrelin. sent6: the bidding is not a illiberality. sent7: if the kosher is not a kind of a ghrelin and does wake capulin then that it does google hold. sent8: if that the tile is not an indent and it does not google is not true it does google. sent9: the kosher is not a illiberality if that it is not a ghrelin and does wake capulin is false. sent10: the lute does not wake capulin. sent11: if the entrance is not an indent that the tile does not reflect Hyperion and/or it is an indent does not hold. sent12: the tile is not a least but it is a kind of a gravidity. sent13: if the kosher is not a illiberality and results triacetate the entrance is not an indent. sent14: the tile is not a illiberality if there is something such that it does not reflect Hyperion and it does result triacetate. sent15: something does not reflect Hyperion and does result triacetate if it is not an ogress. ; $proof$ = 
void -> assump1: Let's assume that the kosher is not a ghrelin and wakes capulin.; sent7 & assump1 -> int1: the kosher does google.; sent2 -> int2: the kosher does not google.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the kosher is not a ghrelin but it wakes capulin does not hold.; int4 & sent9 -> int5: the kosher is not a illiberality.; int5 & sent1 -> int6: the kosher is not a illiberality but it results triacetate.; int6 & sent13 -> int7: the entrance is not an indent.; int7 & sent11 -> int8: the fact that the tile does not reflect Hyperion and/or is an indent does not hold.; int8 & sent4 -> hypothesis; __DISPROVED__