the trekker is a kind of a referendum and is not a student.
sent1: if the diocese is a mackle then the groundsman is lithic. sent2: the diocese is a student. sent3: if the groundsman is lithic then the trekker is attitudinal. sent4: the diocese does palatalize Darrow and is a mackle.
sent4 -> int1: the diocese is a mackle.; int1 & sent1 -> int2: that the groundsman is lithic is not wrong.; int2 & sent3 -> int3: the trekker is attitudinal.;
$hypothesis$ = the trekker is a kind of a referendum and is not a student. ; $context$ = sent1: if the diocese is a mackle then the groundsman is lithic. sent2: the diocese is a student. sent3: if the groundsman is lithic then the trekker is attitudinal. sent4: the diocese does palatalize Darrow and is a mackle. ; $proof$ = 
sent4 -> int1: the diocese is a mackle.; int1 & sent1 -> int2: that the groundsman is lithic is not wrong.; int2 & sent3 -> int3: the trekker is attitudinal.; __UNKNOWN__