if the conjugalness happens then the fact that not the impairing ghillie but the bed-hopping happens is not true.
sent1: if the alopecicness does not occur then that not the basking Esaki but the epizoicness happens is wrong. sent2: the conjugalness causes that not the impairing ghillie but the bed-hopping happens. sent3: the fact that both the impairing ghillie and the bed-hopping happens is not correct. sent4: the metropolitan happens and the chauffeuring occurs. sent5: the chauffeur happens if the permeation happens. sent6: that the metropolitanness occurs is prevented by that the conjugalness and the rectalness happens. sent7: that both the impairing ghillie and the bed-hopping happens is wrong if the conjugalness happens. sent8: if that the rectalness does not occur and the osteopathy occurs is incorrect then the osteopathy does not occur. sent9: the fact that that both the impairing ghillie and the bed-hopping happens hold is false if the rectalness does not occur. sent10: the chauffeur occurs. sent11: the fact that the impairing ghillie does not occur and the bed-hopping occurs does not hold if the rectalness does not occur. sent12: the fact that both the non-alopecicness and the basking girasol occurs does not hold. sent13: that the fact that the rectalness does not occur and the osteopathy happens hold is not true if the conjugalness does not occur. sent14: that not the impairing ghillie but the bed-hopping occurs is right. sent15: if the impairing ghillie occurs then the fact that the metropolitan but not the bed-hopping happens does not hold. sent16: if the fact that the basking tunnel happens is not true then that not the corporateness but the cracking occurs does not hold. sent17: if the rectalness does not occur not the impairing ghillie but the bed-hopping happens. sent18: the iriticness does not occur.
void -> assump2: Let's assume that the fact that the conjugalness occurs is right.; void -> assump1: Let's assume that the rectalness happens.; assump2 & assump1 -> int1: the conjugalness occurs and the rectalness happens.; int1 & sent6 -> int2: the metropolitanness does not occur.; sent4 -> int3: that the metropolitan occurs is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rectalness does not occur.; int5 & sent11 -> int6: the fact that the impairing ghillie does not occur and the bed-hopping occurs is false.; [assump2] & int6 -> hypothesis;
the osteopathy does not occur.
$hypothesis$ = if the conjugalness happens then the fact that not the impairing ghillie but the bed-hopping happens is not true. ; $context$ = sent1: if the alopecicness does not occur then that not the basking Esaki but the epizoicness happens is wrong. sent2: the conjugalness causes that not the impairing ghillie but the bed-hopping happens. sent3: the fact that both the impairing ghillie and the bed-hopping happens is not correct. sent4: the metropolitan happens and the chauffeuring occurs. sent5: the chauffeur happens if the permeation happens. sent6: that the metropolitanness occurs is prevented by that the conjugalness and the rectalness happens. sent7: that both the impairing ghillie and the bed-hopping happens is wrong if the conjugalness happens. sent8: if that the rectalness does not occur and the osteopathy occurs is incorrect then the osteopathy does not occur. sent9: the fact that that both the impairing ghillie and the bed-hopping happens hold is false if the rectalness does not occur. sent10: the chauffeur occurs. sent11: the fact that the impairing ghillie does not occur and the bed-hopping occurs does not hold if the rectalness does not occur. sent12: the fact that both the non-alopecicness and the basking girasol occurs does not hold. sent13: that the fact that the rectalness does not occur and the osteopathy happens hold is not true if the conjugalness does not occur. sent14: that not the impairing ghillie but the bed-hopping occurs is right. sent15: if the impairing ghillie occurs then the fact that the metropolitan but not the bed-hopping happens does not hold. sent16: if the fact that the basking tunnel happens is not true then that not the corporateness but the cracking occurs does not hold. sent17: if the rectalness does not occur not the impairing ghillie but the bed-hopping happens. sent18: the iriticness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the conjugalness occurs is right.; void -> assump1: Let's assume that the rectalness happens.; assump2 & assump1 -> int1: the conjugalness occurs and the rectalness happens.; int1 & sent6 -> int2: the metropolitanness does not occur.; sent4 -> int3: that the metropolitan occurs is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rectalness does not occur.; int5 & sent11 -> int6: the fact that the impairing ghillie does not occur and the bed-hopping occurs is false.; [assump2] & int6 -> hypothesis; __PROVED__