the fact that there is something such that if it is a kind of a Scirpus then it is not particularistic and it encrusts Ephesus is wrong.
sent1: if the adder is centesimal then it is not unretentive. sent2: if something harries reimposition it is not particularistic and it does encrust Ephesus. sent3: if something harries reimposition it is particularistic and it encrusts Ephesus. sent4: the aalii encrusts Ephesus. sent5: there exists something such that if it is a Scirpus then it is not particularistic. sent6: the aalii encrusts Ephesus if it is a Scirpus. sent7: if the aalii is a Scirpus then it is particularistic and it does encrust Ephesus. sent8: if the adder is not a Austrian it is not particularistic. sent9: the adder is not a Austrian. sent10: if the aalii is a Scirpus then it harries reimposition.
void -> assump1: Let's assume that the aalii is a Scirpus.; sent10 & assump1 -> int1: the aalii harries reimposition.; sent2 -> int2: if the aalii harries reimposition then it is non-particularistic thing that encrusts Ephesus.; int1 & int2 -> int3: the aalii is not particularistic but it does encrust Ephesus.; [assump1] & int3 -> int4: if the aalii is a Scirpus then it is non-particularistic thing that does encrust Ephesus.; int4 -> hypothesis;
the process is a Scirpus.
sent8 & sent9 -> int5: the adder is not particularistic.;
$hypothesis$ = the fact that there is something such that if it is a kind of a Scirpus then it is not particularistic and it encrusts Ephesus is wrong. ; $context$ = sent1: if the adder is centesimal then it is not unretentive. sent2: if something harries reimposition it is not particularistic and it does encrust Ephesus. sent3: if something harries reimposition it is particularistic and it encrusts Ephesus. sent4: the aalii encrusts Ephesus. sent5: there exists something such that if it is a Scirpus then it is not particularistic. sent6: the aalii encrusts Ephesus if it is a Scirpus. sent7: if the aalii is a Scirpus then it is particularistic and it does encrust Ephesus. sent8: if the adder is not a Austrian it is not particularistic. sent9: the adder is not a Austrian. sent10: if the aalii is a Scirpus then it harries reimposition. ; $proof$ = 
void -> assump1: Let's assume that the aalii is a Scirpus.; sent10 & assump1 -> int1: the aalii harries reimposition.; sent2 -> int2: if the aalii harries reimposition then it is non-particularistic thing that encrusts Ephesus.; int1 & int2 -> int3: the aalii is not particularistic but it does encrust Ephesus.; [assump1] & int3 -> int4: if the aalii is a Scirpus then it is non-particularistic thing that does encrust Ephesus.; int4 -> hypothesis; __DISPROVED__