the scurf is a kind of a Manichaean if the urobilinogen furrows reductase.
sent1: a creative thing is a Manichaean. sent2: if that either something is not a kind of a rumble or it does reassail M or both is not right it is creative. sent3: the urobilinogen is a massager and it is masonic. sent4: the urobilinogen is masonic. sent5: the dart is not a rumble if the urobilinogen ankyloses and is a massager. sent6: something is Manichaean if that it is a massager and/or is creative does not hold. sent7: that the scurf does not reassail golfer hold. sent8: the urobilinogen ankyloses if it furrows reductase. sent9: if the dart is not a rumble then that the scurf either is not a rumble or does reassail M or both is false.
void -> assump1: Let's assume that the urobilinogen furrows reductase.; sent8 & assump1 -> int1: the urobilinogen ankyloses.; sent3 -> int2: the urobilinogen is a massager.; int1 & int2 -> int3: the urobilinogen does ankylose and it is a massager.; int3 & sent5 -> int4: the dart is not a kind of a rumble.; int4 & sent9 -> int5: that the scurf is not a rumble and/or it does reassail M is wrong.; sent2 -> int6: if that either the scurf does not rumble or it reassails M or both is not right then it is creative.; int5 & int6 -> int7: the scurf is creative.; sent1 -> int8: the scurf is a Manichaean if it is creative.; int7 & int8 -> int9: the scurf is a Manichaean.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the scurf is a kind of a Manichaean if the urobilinogen furrows reductase. ; $context$ = sent1: a creative thing is a Manichaean. sent2: if that either something is not a kind of a rumble or it does reassail M or both is not right it is creative. sent3: the urobilinogen is a massager and it is masonic. sent4: the urobilinogen is masonic. sent5: the dart is not a rumble if the urobilinogen ankyloses and is a massager. sent6: something is Manichaean if that it is a massager and/or is creative does not hold. sent7: that the scurf does not reassail golfer hold. sent8: the urobilinogen ankyloses if it furrows reductase. sent9: if the dart is not a rumble then that the scurf either is not a rumble or does reassail M or both is false. ; $proof$ = 
void -> assump1: Let's assume that the urobilinogen furrows reductase.; sent8 & assump1 -> int1: the urobilinogen ankyloses.; sent3 -> int2: the urobilinogen is a massager.; int1 & int2 -> int3: the urobilinogen does ankylose and it is a massager.; int3 & sent5 -> int4: the dart is not a kind of a rumble.; int4 & sent9 -> int5: that the scurf is not a rumble and/or it does reassail M is wrong.; sent2 -> int6: if that either the scurf does not rumble or it reassails M or both is not right then it is creative.; int5 & int6 -> int7: the scurf is creative.; sent1 -> int8: the scurf is a Manichaean if it is creative.; int7 & int8 -> int9: the scurf is a Manichaean.; [assump1] & int9 -> hypothesis; __PROVED__