if the enrollee is a badness then the bowsprit is a Troy.
sent1: if the bowsprit is not a Hoyle the firelighter opposes bowsprit and is a kind of a Troy. sent2: if the enrollee is not a Hoyle the fact that the firelighter opposes waterdog hold. sent3: the firelighter opposes waterdog. sent4: the firelighter does not oppose shipyard if the fact that it does not oppose bowsprit or is not a kind of an overlord or both is not right. sent5: the firelighter is an overlord. sent6: if the enrollee is a badness or predestinarian or both it is not a Hoyle. sent7: if the fact that the firelighter either does not oppose bowsprit or is an overlord or both is not right it does not oppose shipyard. sent8: the fact that the firelighter does not oppose bowsprit or it is not an overlord or both is not correct. sent9: the bowsprit is not a kind of a Troy if it is an overlord and/or it is a sockeye. sent10: if something is a Hoyle it is a badness. sent11: if the enrollee is predestinarian that it is not a Hoyle is not false. sent12: the bowsprit is predestinarian. sent13: the bowsprit does not oppose waterdog. sent14: the fact that the enrollee opposes waterdog hold. sent15: if the enrollee is not a Hoyle then the firelighter does oppose waterdog and it is a sockeye. sent16: if the firelighter is a sockeye and does not oppose shipyard then the bowsprit is a Troy. sent17: if the enrollee is not predestinarian the firelighter does oppose bowsprit and it is a kind of a Troy.
void -> assump1: Let's assume that the enrollee is a badness.; assump1 -> int1: the enrollee is a kind of a badness or is predestinarian or both.; int1 & sent6 -> int2: that the enrollee is not a Hoyle is not wrong.; int2 & sent15 -> int3: the firelighter does oppose waterdog and it is a sockeye.; int3 -> int4: the firelighter is a kind of a sockeye.; sent4 & sent8 -> int5: the firelighter does not oppose shipyard.; int4 & int5 -> int6: that the firelighter is a kind of a sockeye and does not oppose shipyard is right.; int6 & sent16 -> int7: the bowsprit is a kind of a Troy.; [assump1] & int7 -> hypothesis;
the mantelet is predestinarian.
sent10 -> int8: if that the mantelet is a Hoyle is not incorrect then it is a badness.;
$hypothesis$ = if the enrollee is a badness then the bowsprit is a Troy. ; $context$ = sent1: if the bowsprit is not a Hoyle the firelighter opposes bowsprit and is a kind of a Troy. sent2: if the enrollee is not a Hoyle the fact that the firelighter opposes waterdog hold. sent3: the firelighter opposes waterdog. sent4: the firelighter does not oppose shipyard if the fact that it does not oppose bowsprit or is not a kind of an overlord or both is not right. sent5: the firelighter is an overlord. sent6: if the enrollee is a badness or predestinarian or both it is not a Hoyle. sent7: if the fact that the firelighter either does not oppose bowsprit or is an overlord or both is not right it does not oppose shipyard. sent8: the fact that the firelighter does not oppose bowsprit or it is not an overlord or both is not correct. sent9: the bowsprit is not a kind of a Troy if it is an overlord and/or it is a sockeye. sent10: if something is a Hoyle it is a badness. sent11: if the enrollee is predestinarian that it is not a Hoyle is not false. sent12: the bowsprit is predestinarian. sent13: the bowsprit does not oppose waterdog. sent14: the fact that the enrollee opposes waterdog hold. sent15: if the enrollee is not a Hoyle then the firelighter does oppose waterdog and it is a sockeye. sent16: if the firelighter is a sockeye and does not oppose shipyard then the bowsprit is a Troy. sent17: if the enrollee is not predestinarian the firelighter does oppose bowsprit and it is a kind of a Troy. ; $proof$ = 
void -> assump1: Let's assume that the enrollee is a badness.; assump1 -> int1: the enrollee is a kind of a badness or is predestinarian or both.; int1 & sent6 -> int2: that the enrollee is not a Hoyle is not wrong.; int2 & sent15 -> int3: the firelighter does oppose waterdog and it is a sockeye.; int3 -> int4: the firelighter is a kind of a sockeye.; sent4 & sent8 -> int5: the firelighter does not oppose shipyard.; int4 & int5 -> int6: that the firelighter is a kind of a sockeye and does not oppose shipyard is right.; int6 & sent16 -> int7: the bowsprit is a kind of a Troy.; [assump1] & int7 -> hypothesis; __PROVED__