the sodomite finishes victim and it is a kind of a paneling.
sent1: that the sodomite does finish victim and it is a paneling is incorrect if the regosol is not a kind of a paneling. sent2: the dill is not a cadetship if the Flaviviridae is nonphotosynthetic. sent3: the dill is genealogic. sent4: the dill is a cadetship if that it is genealogic is right. sent5: the abettor does not splat carillon if the regosol panels. sent6: if that the abettor splats carillon does not hold then the Flaviviridae is nonphotosynthetic. sent7: the fact that the sodomite is a paneling that is nonphotosynthetic is incorrect.
void -> assump1: Let's assume that the regosol is a kind of a paneling.; sent5 & assump1 -> int1: the abettor does not splat carillon.; int1 & sent6 -> int2: the Flaviviridae is nonphotosynthetic.; int2 & sent2 -> int3: the dill is not a cadetship.; sent4 & sent3 -> int4: that the dill is a cadetship is not false.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the regosol is not a paneling.; int6 & sent1 -> hypothesis;
$hypothesis$ = the sodomite finishes victim and it is a kind of a paneling. ; $context$ = sent1: that the sodomite does finish victim and it is a paneling is incorrect if the regosol is not a kind of a paneling. sent2: the dill is not a cadetship if the Flaviviridae is nonphotosynthetic. sent3: the dill is genealogic. sent4: the dill is a cadetship if that it is genealogic is right. sent5: the abettor does not splat carillon if the regosol panels. sent6: if that the abettor splats carillon does not hold then the Flaviviridae is nonphotosynthetic. sent7: the fact that the sodomite is a paneling that is nonphotosynthetic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the regosol is a kind of a paneling.; sent5 & assump1 -> int1: the abettor does not splat carillon.; int1 & sent6 -> int2: the Flaviviridae is nonphotosynthetic.; int2 & sent2 -> int3: the dill is not a cadetship.; sent4 & sent3 -> int4: that the dill is a cadetship is not false.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the regosol is not a paneling.; int6 & sent1 -> hypothesis; __DISPROVED__