if the tricycle is maleficent then the scrawler does rap Sokoro.
sent1: if the trestle does not churn tricycle then the seaquake is a chasse. sent2: the seaquake chasses. sent3: something is a Germany if it is a heparin. sent4: the tricycle is maleficent if it is a heparin. sent5: if something is a Germany then it does not churn tricycle. sent6: if the trestle does not churn tricycle then the seaquake is worsted and a chasse. sent7: the fact that the seaquake is a heparin is true. sent8: a worsted thing bumbles. sent9: if something that is maleficent is not a heparin it is a chasse. sent10: the tricycle bumbles if the seaquake is maleficent. sent11: if the fact that something is a kind of non-maleficent thing that does not rap seaquake does not hold the fact that it does rap seaquake is true. sent12: if there exists something such that it is maleficent the trestle is a kind of a heparin.
void -> assump1: Let's assume that the tricycle is maleficent.; assump1 -> int1: something is maleficent.; int1 & sent12 -> int2: the trestle is a kind of a heparin.; sent3 -> int3: the trestle is a Germany if it is a heparin.; int2 & int3 -> int4: that the trestle is a Germany hold.; sent5 -> int5: the trestle does not churn tricycle if it is a Germany.; int4 & int5 -> int6: the trestle does not churn tricycle.; int6 & sent6 -> int7: the seaquake is not non-worsted and it is a chasse.; int7 -> int8: the seaquake is a worsted.; sent8 -> int9: the seaquake bumbles if it is a worsted.; int8 & int9 -> int10: the seaquake bumbles.;
the trestle chasses.
sent9 -> int11: if the trestle is maleficent and is not a heparin then it chasses.;
$hypothesis$ = if the tricycle is maleficent then the scrawler does rap Sokoro. ; $context$ = sent1: if the trestle does not churn tricycle then the seaquake is a chasse. sent2: the seaquake chasses. sent3: something is a Germany if it is a heparin. sent4: the tricycle is maleficent if it is a heparin. sent5: if something is a Germany then it does not churn tricycle. sent6: if the trestle does not churn tricycle then the seaquake is worsted and a chasse. sent7: the fact that the seaquake is a heparin is true. sent8: a worsted thing bumbles. sent9: if something that is maleficent is not a heparin it is a chasse. sent10: the tricycle bumbles if the seaquake is maleficent. sent11: if the fact that something is a kind of non-maleficent thing that does not rap seaquake does not hold the fact that it does rap seaquake is true. sent12: if there exists something such that it is maleficent the trestle is a kind of a heparin. ; $proof$ = 
void -> assump1: Let's assume that the tricycle is maleficent.; assump1 -> int1: something is maleficent.; int1 & sent12 -> int2: the trestle is a kind of a heparin.; sent3 -> int3: the trestle is a Germany if it is a heparin.; int2 & int3 -> int4: that the trestle is a Germany hold.; sent5 -> int5: the trestle does not churn tricycle if it is a Germany.; int4 & int5 -> int6: the trestle does not churn tricycle.; int6 & sent6 -> int7: the seaquake is not non-worsted and it is a chasse.; int7 -> int8: the seaquake is a worsted.; sent8 -> int9: the seaquake bumbles if it is a worsted.; int8 & int9 -> int10: the seaquake bumbles.; __UNKNOWN__