the incalculableness occurs.
sent1: the fact that the Riemannianness does not occur and the cannoning does not occur does not hold. sent2: the auspicating happens if the reportableness happens. sent3: the incalculableness occurs if the artifactualness happens. sent4: the cannon occurs if the fact that the Riemannianness does not occur and the cannon does not occur does not hold. sent5: the cheesing is prevented by that the forking does not occur and the auspicating happens. sent6: the reportableness occurs if the display happens. sent7: the artifactualness is brought about by that the cheese does not occur or that the expiating happens or both. sent8: the prematureness happens. sent9: if the cannon happens then the jogging occurs. sent10: not the rush but the evaporativeness happens. sent11: that the jog does not occur is brought about by that the prematureness and the forking happens. sent12: if the prematureness does not occur the incalculableness does not occur.
void -> assump1: Let's assume that the forking occurs.; sent8 & assump1 -> int1: the prematureness and the forking happens.; int1 & sent11 -> int2: the jog does not occur.; sent4 & sent1 -> int3: the cannon occurs.; sent9 & int3 -> int4: the jogging happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fork does not occur.;
the incalculableness does not occur.
$hypothesis$ = the incalculableness occurs. ; $context$ = sent1: the fact that the Riemannianness does not occur and the cannoning does not occur does not hold. sent2: the auspicating happens if the reportableness happens. sent3: the incalculableness occurs if the artifactualness happens. sent4: the cannon occurs if the fact that the Riemannianness does not occur and the cannon does not occur does not hold. sent5: the cheesing is prevented by that the forking does not occur and the auspicating happens. sent6: the reportableness occurs if the display happens. sent7: the artifactualness is brought about by that the cheese does not occur or that the expiating happens or both. sent8: the prematureness happens. sent9: if the cannon happens then the jogging occurs. sent10: not the rush but the evaporativeness happens. sent11: that the jog does not occur is brought about by that the prematureness and the forking happens. sent12: if the prematureness does not occur the incalculableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the forking occurs.; sent8 & assump1 -> int1: the prematureness and the forking happens.; int1 & sent11 -> int2: the jog does not occur.; sent4 & sent1 -> int3: the cannon occurs.; sent9 & int3 -> int4: the jogging happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fork does not occur.; __UNKNOWN__