the process-server outwears if that the paperweight titillates is true.
sent1: if the paperweight titillates then the subcontinent is not occipital but it is a Fredericton. sent2: if there exists something such that it is a Fredericton then the process-server does outwear. sent3: the subcontinent does titillate if the paperweight is a Fredericton. sent4: the paperweight is a wild. sent5: if there are occipital things the paperweight titillates. sent6: the subcontinent is not occipital if the paperweight titillates.
void -> assump1: Let's assume that the fact that the paperweight titillates is not false.; sent1 & assump1 -> int1: the subcontinent is not occipital but it is a Fredericton.; int1 -> int2: the subcontinent is a Fredericton.; int2 -> int3: there is something such that it is a kind of a Fredericton.; int3 & sent2 -> int4: the process-server outwears.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the process-server outwears if that the paperweight titillates is true. ; $context$ = sent1: if the paperweight titillates then the subcontinent is not occipital but it is a Fredericton. sent2: if there exists something such that it is a Fredericton then the process-server does outwear. sent3: the subcontinent does titillate if the paperweight is a Fredericton. sent4: the paperweight is a wild. sent5: if there are occipital things the paperweight titillates. sent6: the subcontinent is not occipital if the paperweight titillates. ; $proof$ = 
void -> assump1: Let's assume that the fact that the paperweight titillates is not false.; sent1 & assump1 -> int1: the subcontinent is not occipital but it is a Fredericton.; int1 -> int2: the subcontinent is a Fredericton.; int2 -> int3: there is something such that it is a kind of a Fredericton.; int3 & sent2 -> int4: the process-server outwears.; [assump1] & int4 -> hypothesis; __PROVED__