the charioteer is unprintable.
sent1: if a staphylococcal thing does wrap Telosporidia then it is not unprintable. sent2: if the stator tweets then the charioteer is instructive. sent3: the fact that something is staphylococcal if it is instructive is true. sent4: the charioteer does construct bacteriophage. sent5: if something is a nuncio then that it wraps Telosporidia hold. sent6: The bacteriophage does construct charioteer. sent7: the charioteer is a nuncio if the fact that it does not construct bacteriophage is not right. sent8: the stator does tweet.
sent3 -> int1: if the charioteer is instructive then it is staphylococcal.; sent2 & sent8 -> int2: the charioteer is instructive.; int1 & int2 -> int3: the charioteer is staphylococcal.; sent5 -> int4: the charioteer does wrap Telosporidia if it is a kind of a nuncio.; sent7 & sent4 -> int5: the charioteer is a nuncio.; int4 & int5 -> int6: the charioteer does wrap Telosporidia.; int3 & int6 -> int7: the charioteer is a kind of staphylococcal thing that does wrap Telosporidia.; sent1 -> int8: the charioteer is not unprintable if it is staphylococcal and does wrap Telosporidia.; int7 & int8 -> hypothesis;
$hypothesis$ = the charioteer is unprintable. ; $context$ = sent1: if a staphylococcal thing does wrap Telosporidia then it is not unprintable. sent2: if the stator tweets then the charioteer is instructive. sent3: the fact that something is staphylococcal if it is instructive is true. sent4: the charioteer does construct bacteriophage. sent5: if something is a nuncio then that it wraps Telosporidia hold. sent6: The bacteriophage does construct charioteer. sent7: the charioteer is a nuncio if the fact that it does not construct bacteriophage is not right. sent8: the stator does tweet. ; $proof$ = 
sent3 -> int1: if the charioteer is instructive then it is staphylococcal.; sent2 & sent8 -> int2: the charioteer is instructive.; int1 & int2 -> int3: the charioteer is staphylococcal.; sent5 -> int4: the charioteer does wrap Telosporidia if it is a kind of a nuncio.; sent7 & sent4 -> int5: the charioteer is a nuncio.; int4 & int5 -> int6: the charioteer does wrap Telosporidia.; int3 & int6 -> int7: the charioteer is a kind of staphylococcal thing that does wrap Telosporidia.; sent1 -> int8: the charioteer is not unprintable if it is staphylococcal and does wrap Telosporidia.; int7 & int8 -> hypothesis; __DISPROVED__