the fact that the pork is not infinitival but it is Congolese hold if the saltire is not a parasail.
sent1: the fact that if something does not introspect and/or it is a dimer the FO is not agraphic is true. sent2: the lacuna either is agraphic or does introspect or both. sent3: if the saltire is not a parasail the lacuna does not introspect and/or is a dimer. sent4: the saltire is non-littoral thing that decelerates. sent5: if something is not agraphic then the FO is not a Congolese.
void -> assump1: Let's assume that the saltire is not a parasail.; sent3 & assump1 -> int1: the lacuna either does not introspect or is a dimer or both.; int1 -> int2: something does not introspect and/or it is a dimer.; int2 & sent1 -> int3: the FO is not agraphic.; int3 -> int4: there exists something such that it is not agraphic.;
$hypothesis$ = the fact that the pork is not infinitival but it is Congolese hold if the saltire is not a parasail. ; $context$ = sent1: the fact that if something does not introspect and/or it is a dimer the FO is not agraphic is true. sent2: the lacuna either is agraphic or does introspect or both. sent3: if the saltire is not a parasail the lacuna does not introspect and/or is a dimer. sent4: the saltire is non-littoral thing that decelerates. sent5: if something is not agraphic then the FO is not a Congolese. ; $proof$ = 
void -> assump1: Let's assume that the saltire is not a parasail.; sent3 & assump1 -> int1: the lacuna either does not introspect or is a dimer or both.; int1 -> int2: something does not introspect and/or it is a dimer.; int2 & sent1 -> int3: the FO is not agraphic.; int3 -> int4: there exists something such that it is not agraphic.; __UNKNOWN__