the quad sterilizes washwoman.
sent1: everything does not foal Trichophaga and/or it is not worldly. sent2: the muezzin does not sterilize teach-in if the oilpaper is not worldly. sent3: if the muezzin is not a wart the quad does not sterilize teach-in but it foals asphyxia. sent4: if the muezzin does not sterilize teach-in then the quad foals asphyxia and does sterilize washwoman. sent5: the oilpaper does not foal asphyxia or it is not worldly or both. sent6: the quad does foal asphyxia. sent7: the oilpaper is not a kind of a Goodyear or it is not a Petersburg or both. sent8: the quad sterilizes teach-in. sent9: if something that does not sterilize teach-in foals asphyxia it does not sterilize washwoman. sent10: the filicide does not sterilize teach-in if something sterilizes washwoman and is not a kind of a wart. sent11: that something does not foal mesa and is not a cascade does not hold if it is polydactyl. sent12: that the oilpaper does not foal asphyxia is correct. sent13: the pitcher is not worldly. sent14: everything does not sterilize washwoman or foals asphyxia or both. sent15: the oilpaper does not foal Trichophaga or it is worldly or both. sent16: if that something does not foal mesa and it does not cascade does not hold then it is not a wart. sent17: everything does not foal mesa. sent18: if the oilpaper either does not foal Trichophaga or is not worldly or both then the muezzin does not sterilize teach-in.
sent1 -> int1: the oilpaper either does not foal Trichophaga or is not worldly or both.; sent18 & int1 -> int2: the muezzin does not sterilize teach-in.; sent4 & int2 -> int3: the quad does foal asphyxia and sterilizes washwoman.; int3 -> hypothesis;
that the quad does not sterilize washwoman is not incorrect.
sent9 -> int4: the quad does not sterilize washwoman if it does not sterilize teach-in and does foal asphyxia.; sent16 -> int5: the muezzin is not a wart if the fact that it does not foal mesa and is not a kind of a cascade is wrong.; sent11 -> int6: if the muezzin is polydactyl that it does not foal mesa and it is not a kind of a cascade is not true.;
$hypothesis$ = the quad sterilizes washwoman. ; $context$ = sent1: everything does not foal Trichophaga and/or it is not worldly. sent2: the muezzin does not sterilize teach-in if the oilpaper is not worldly. sent3: if the muezzin is not a wart the quad does not sterilize teach-in but it foals asphyxia. sent4: if the muezzin does not sterilize teach-in then the quad foals asphyxia and does sterilize washwoman. sent5: the oilpaper does not foal asphyxia or it is not worldly or both. sent6: the quad does foal asphyxia. sent7: the oilpaper is not a kind of a Goodyear or it is not a Petersburg or both. sent8: the quad sterilizes teach-in. sent9: if something that does not sterilize teach-in foals asphyxia it does not sterilize washwoman. sent10: the filicide does not sterilize teach-in if something sterilizes washwoman and is not a kind of a wart. sent11: that something does not foal mesa and is not a cascade does not hold if it is polydactyl. sent12: that the oilpaper does not foal asphyxia is correct. sent13: the pitcher is not worldly. sent14: everything does not sterilize washwoman or foals asphyxia or both. sent15: the oilpaper does not foal Trichophaga or it is worldly or both. sent16: if that something does not foal mesa and it does not cascade does not hold then it is not a wart. sent17: everything does not foal mesa. sent18: if the oilpaper either does not foal Trichophaga or is not worldly or both then the muezzin does not sterilize teach-in. ; $proof$ = 
sent1 -> int1: the oilpaper either does not foal Trichophaga or is not worldly or both.; sent18 & int1 -> int2: the muezzin does not sterilize teach-in.; sent4 & int2 -> int3: the quad does foal asphyxia and sterilizes washwoman.; int3 -> hypothesis; __PROVED__