the decomposition clouds Benchley.
sent1: something is a kind of a titmouse if it is drinkable. sent2: if the decomposition is not histological then the fact that it is drinkable and it is a kind of a Ford is not right. sent3: if something is not non-histological then it is a titmouse. sent4: the ovule is unilateral if there is something such that the fact that it is Welsh and it is not a highland is wrong. sent5: if the ovule is unilateral then the timberman is a titmouse. sent6: the fact that the timberman is not a titmouse hold if something is a protrusion. sent7: the streaker is a protrusion. sent8: something that is not a Ford is drinkable and/or histological. sent9: if there is something such that it is a kind of a Welsh and it is not a highland the decomposition is not histological. sent10: if that something is drinkable and is a Ford is not right that it does not cloud Benchley is correct.
void -> assump1: Let's assume that that the guanine is a kind of a Welsh that is not a highland is not right.; assump1 -> int1: there is something such that that it is Welsh but not a highland is not true.; int1 & sent4 -> int2: the ovule is unilateral.; int2 & sent5 -> int3: the timberman is a kind of a titmouse.; sent7 -> int4: there is something such that it is a protrusion.; int4 & sent6 -> int5: the timberman is not a titmouse.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the guanine is not non-Welsh but it is not a kind of a highland.; int7 -> int8: something is a Welsh and is not a highland.; int8 & sent9 -> int9: the decomposition is not histological.; int9 & sent2 -> int10: that the decomposition is both drinkable and a Ford is not correct.; sent10 -> int11: the decomposition does not cloud Benchley if the fact that it is drinkable and is a kind of a Ford does not hold.; int10 & int11 -> hypothesis;
the decomposition clouds Benchley.
sent3 -> int12: that the ovule is the titmouse if the ovule is histological hold.; sent1 -> int13: if the ovule is drinkable then it is a titmouse.; sent8 -> int14: the timberman is drinkable or it is histological or both if the fact that it is not a Ford is right.;
$hypothesis$ = the decomposition clouds Benchley. ; $context$ = sent1: something is a kind of a titmouse if it is drinkable. sent2: if the decomposition is not histological then the fact that it is drinkable and it is a kind of a Ford is not right. sent3: if something is not non-histological then it is a titmouse. sent4: the ovule is unilateral if there is something such that the fact that it is Welsh and it is not a highland is wrong. sent5: if the ovule is unilateral then the timberman is a titmouse. sent6: the fact that the timberman is not a titmouse hold if something is a protrusion. sent7: the streaker is a protrusion. sent8: something that is not a Ford is drinkable and/or histological. sent9: if there is something such that it is a kind of a Welsh and it is not a highland the decomposition is not histological. sent10: if that something is drinkable and is a Ford is not right that it does not cloud Benchley is correct. ; $proof$ = 
void -> assump1: Let's assume that that the guanine is a kind of a Welsh that is not a highland is not right.; assump1 -> int1: there is something such that that it is Welsh but not a highland is not true.; int1 & sent4 -> int2: the ovule is unilateral.; int2 & sent5 -> int3: the timberman is a kind of a titmouse.; sent7 -> int4: there is something such that it is a protrusion.; int4 & sent6 -> int5: the timberman is not a titmouse.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the guanine is not non-Welsh but it is not a kind of a highland.; int7 -> int8: something is a Welsh and is not a highland.; int8 & sent9 -> int9: the decomposition is not histological.; int9 & sent2 -> int10: that the decomposition is both drinkable and a Ford is not correct.; sent10 -> int11: the decomposition does not cloud Benchley if the fact that it is drinkable and is a kind of a Ford does not hold.; int10 & int11 -> hypothesis; __DISPROVED__