the transaminating levorotation but not the transaminating scullery happens if the Chicago occurs.
sent1: if the Chicago happens then the transaminating scullery does not occur. sent2: the transaminating scullery does not occur. sent3: if the connecting happens then the Chicago does not occur. sent4: the pyrogenicness is prevented by that the articulatoriness happens and/or the navigating. sent5: if the transaminating fraxinella happens and/or the connecting occurs then the Chicago does not occur. sent6: if the quiz happens then the transaminating fraxinella occurs. sent7: either that the transaminating fraxinella happens or the connecting or both prevents that the Chicago does not occur. sent8: the transaminating levorotation occurs and the transaminating scullery does not occur if that the quiz does not occur is right.
void -> assump1: Let's assume that the Chicago occurs.; void -> assump2: Let's assume that the quiz happens.; sent6 & assump2 -> int1: the transaminating fraxinella happens.; int1 -> int2: the transaminating fraxinella and/or the connecting happens.; sent5 & int2 -> int3: the Chicago does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the quiz does not occur.; sent8 & int5 -> int6: the transaminating levorotation occurs and the transaminating scullery does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the transaminating levorotation but not the transaminating scullery happens if the Chicago occurs. ; $context$ = sent1: if the Chicago happens then the transaminating scullery does not occur. sent2: the transaminating scullery does not occur. sent3: if the connecting happens then the Chicago does not occur. sent4: the pyrogenicness is prevented by that the articulatoriness happens and/or the navigating. sent5: if the transaminating fraxinella happens and/or the connecting occurs then the Chicago does not occur. sent6: if the quiz happens then the transaminating fraxinella occurs. sent7: either that the transaminating fraxinella happens or the connecting or both prevents that the Chicago does not occur. sent8: the transaminating levorotation occurs and the transaminating scullery does not occur if that the quiz does not occur is right. ; $proof$ = 
void -> assump1: Let's assume that the Chicago occurs.; void -> assump2: Let's assume that the quiz happens.; sent6 & assump2 -> int1: the transaminating fraxinella happens.; int1 -> int2: the transaminating fraxinella and/or the connecting happens.; sent5 & int2 -> int3: the Chicago does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the quiz does not occur.; sent8 & int5 -> int6: the transaminating levorotation occurs and the transaminating scullery does not occur.; [assump1] & int6 -> hypothesis; __PROVED__