the fogbank is a abecedarius and does harlequin hart's-tongue.
sent1: the haustorium is Modern. sent2: the fogbank is a kind of a abecedarius. sent3: the haustorium is not a percentile. sent4: if the haustorium is a towel it is an abalone. sent5: if something is Modern then it towels. sent6: if the haustorium is an abalone that is not a kind of a percentile then the fact that the fogbank does harlequin hart's-tongue hold.
sent5 -> int1: the haustorium is a kind of a towel if it is Modern.; int1 & sent1 -> int2: the haustorium does towel.; int2 & sent4 -> int3: the haustorium is a kind of an abalone.; int3 & sent3 -> int4: the haustorium is an abalone but not a percentile.; int4 & sent6 -> int5: the fogbank does harlequin hart's-tongue.; int5 & sent2 -> hypothesis;
$hypothesis$ = the fogbank is a abecedarius and does harlequin hart's-tongue. ; $context$ = sent1: the haustorium is Modern. sent2: the fogbank is a kind of a abecedarius. sent3: the haustorium is not a percentile. sent4: if the haustorium is a towel it is an abalone. sent5: if something is Modern then it towels. sent6: if the haustorium is an abalone that is not a kind of a percentile then the fact that the fogbank does harlequin hart's-tongue hold. ; $proof$ = 
sent5 -> int1: the haustorium is a kind of a towel if it is Modern.; int1 & sent1 -> int2: the haustorium does towel.; int2 & sent4 -> int3: the haustorium is a kind of an abalone.; int3 & sent3 -> int4: the haustorium is an abalone but not a percentile.; int4 & sent6 -> int5: the fogbank does harlequin hart's-tongue.; int5 & sent2 -> hypothesis; __PROVED__