the poilu is not a synovium.
sent1: if the television is a phonebook then that the poilu is a phonebook and is not a granule does not hold. sent2: if something is a chromolithography and it is a keeping the pivot is a kind of a workaholism. sent3: if that something is a kind of a phonebook and is not a granule does not hold it is not a synovium. sent4: the fact that the poilu is a chromolithography and it is a synovium is right if the pivot does not keep. sent5: there is something such that it is a kind of a chromolithography. sent6: something is a kind of a chromolithography and it is a kind of a keeping. sent7: something is not a kind of a synovium if it is not a phonebook. sent8: if the pivot is a workaholism the television is not non-anecdotal. sent9: if the poilu is not a phonebook then that it is not a synovium is not false. sent10: something is a keeping. sent11: there is something such that it sterilizes television. sent12: something is a phonebook if it is anecdotal. sent13: the fact that something is both not a workaholism and a keeping is incorrect if it is not anecdotal.
sent6 & sent2 -> int1: the pivot is a workaholism.; int1 & sent8 -> int2: the television is anecdotal.; sent12 -> int3: the television is a phonebook if it is anecdotal.; int2 & int3 -> int4: the television is a phonebook.; int4 & sent1 -> int5: the fact that the poilu is a kind of a phonebook but it is not a granule does not hold.; sent3 -> int6: the poilu is not a synovium if the fact that it is a phonebook and it is not a granule is not true.; int5 & int6 -> hypothesis;
the poilu is a kind of a synovium.
sent13 -> int7: if the television is not anecdotal then the fact that it is not a workaholism and it keeps does not hold.;
$hypothesis$ = the poilu is not a synovium. ; $context$ = sent1: if the television is a phonebook then that the poilu is a phonebook and is not a granule does not hold. sent2: if something is a chromolithography and it is a keeping the pivot is a kind of a workaholism. sent3: if that something is a kind of a phonebook and is not a granule does not hold it is not a synovium. sent4: the fact that the poilu is a chromolithography and it is a synovium is right if the pivot does not keep. sent5: there is something such that it is a kind of a chromolithography. sent6: something is a kind of a chromolithography and it is a kind of a keeping. sent7: something is not a kind of a synovium if it is not a phonebook. sent8: if the pivot is a workaholism the television is not non-anecdotal. sent9: if the poilu is not a phonebook then that it is not a synovium is not false. sent10: something is a keeping. sent11: there is something such that it sterilizes television. sent12: something is a phonebook if it is anecdotal. sent13: the fact that something is both not a workaholism and a keeping is incorrect if it is not anecdotal. ; $proof$ = 
sent6 & sent2 -> int1: the pivot is a workaholism.; int1 & sent8 -> int2: the television is anecdotal.; sent12 -> int3: the television is a phonebook if it is anecdotal.; int2 & int3 -> int4: the television is a phonebook.; int4 & sent1 -> int5: the fact that the poilu is a kind of a phonebook but it is not a granule does not hold.; sent3 -> int6: the poilu is not a synovium if the fact that it is a phonebook and it is not a granule is not true.; int5 & int6 -> hypothesis; __PROVED__