the phonologist is musicological.
sent1: something is not a scoter if it is not idiographic. sent2: the rowan is not follicular. sent3: if the rowan is non-follicular thing that is not an adulterer the fact that it is bituminoid is correct. sent4: if the phonologist is not idiographic the rowan is not an adulterer. sent5: if the phonologist is a kind of an adulterer that is follicular the guanine is not idiographic. sent6: the phonologist is musicological if the fact that it is both not a scoter and not idiographic is not true.
void -> assump1: Let's assume that the phonologist is not a scoter and is not idiographic.; assump1 -> int1: the fact that the phonologist is not idiographic is not wrong.; int1 & sent4 -> int2: that the rowan is not an adulterer hold.; int2 & sent2 -> int3: the rowan is not follicular and is not an adulterer.; int3 & sent3 -> int4: the rowan is bituminoid.;
the guanine is not a kind of a scoter.
sent1 -> int5: the guanine is not a kind of a scoter if the fact that it is not idiographic hold.;
$hypothesis$ = the phonologist is musicological. ; $context$ = sent1: something is not a scoter if it is not idiographic. sent2: the rowan is not follicular. sent3: if the rowan is non-follicular thing that is not an adulterer the fact that it is bituminoid is correct. sent4: if the phonologist is not idiographic the rowan is not an adulterer. sent5: if the phonologist is a kind of an adulterer that is follicular the guanine is not idiographic. sent6: the phonologist is musicological if the fact that it is both not a scoter and not idiographic is not true. ; $proof$ = 
void -> assump1: Let's assume that the phonologist is not a scoter and is not idiographic.; assump1 -> int1: the fact that the phonologist is not idiographic is not wrong.; int1 & sent4 -> int2: that the rowan is not an adulterer hold.; int2 & sent2 -> int3: the rowan is not follicular and is not an adulterer.; int3 & sent3 -> int4: the rowan is bituminoid.; __UNKNOWN__