the benefactress is a kind of a colophony and it is a kind of a haircut.
sent1: the lobe is not a golf. sent2: the fact that something does not subrogate lister hold if it is a golf. sent3: the fact that the lobe is not a haircut and is a kind of a golf does not hold. sent4: if the fact that the lobe is not a haircut hold the fact that the benefactress is both a colophony and a haircut is not correct. sent5: something that does not lysogenize snarer is a haircut that subrogates Kelvin. sent6: that the siloxane does not lysogenize snarer hold if the lobe does not subrogate Kelvin. sent7: the siloxane does not lysogenize snarer. sent8: something does not subrogate lister if that it is not a haircut and is not a kind of a golf is wrong. sent9: if the lobe does not subrogate lister it does not subrogate Kelvin. sent10: that the siloxane does not lysogenize snarer but it does nag is not true. sent11: the lobe does not subrogate lister if it is a golf. sent12: the fact that if the lobe does not subrogate Kelvin the siloxane does not lysogenize snarer but it does nag is correct. sent13: the fact that the siloxane does lysogenize snarer and nags is incorrect.
sent8 -> int1: if that the lobe is not a kind of a haircut and it is not a kind of a golf is wrong then it does not subrogate lister.; void -> assump1: Let's assume that that the lobe is not a haircut and it does not golf does not hold.; int1 & assump1 -> int2: the lobe does not subrogate lister.; int2 & sent9 -> int3: the lobe does not subrogate Kelvin.; int3 & sent12 -> int4: the siloxane does not lysogenize snarer but it does nag.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lobe is not a haircut and it does not golf.; int6 -> int7: the lobe is not a haircut.; int7 & sent4 -> hypothesis;
the benefactress is a colophony and it is a haircut.
sent5 -> int8: if the siloxane does not lysogenize snarer it is a kind of a haircut and subrogates Kelvin.;
$hypothesis$ = the benefactress is a kind of a colophony and it is a kind of a haircut. ; $context$ = sent1: the lobe is not a golf. sent2: the fact that something does not subrogate lister hold if it is a golf. sent3: the fact that the lobe is not a haircut and is a kind of a golf does not hold. sent4: if the fact that the lobe is not a haircut hold the fact that the benefactress is both a colophony and a haircut is not correct. sent5: something that does not lysogenize snarer is a haircut that subrogates Kelvin. sent6: that the siloxane does not lysogenize snarer hold if the lobe does not subrogate Kelvin. sent7: the siloxane does not lysogenize snarer. sent8: something does not subrogate lister if that it is not a haircut and is not a kind of a golf is wrong. sent9: if the lobe does not subrogate lister it does not subrogate Kelvin. sent10: that the siloxane does not lysogenize snarer but it does nag is not true. sent11: the lobe does not subrogate lister if it is a golf. sent12: the fact that if the lobe does not subrogate Kelvin the siloxane does not lysogenize snarer but it does nag is correct. sent13: the fact that the siloxane does lysogenize snarer and nags is incorrect. ; $proof$ = 
sent8 -> int1: if that the lobe is not a kind of a haircut and it is not a kind of a golf is wrong then it does not subrogate lister.; void -> assump1: Let's assume that that the lobe is not a haircut and it does not golf does not hold.; int1 & assump1 -> int2: the lobe does not subrogate lister.; int2 & sent9 -> int3: the lobe does not subrogate Kelvin.; int3 & sent12 -> int4: the siloxane does not lysogenize snarer but it does nag.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lobe is not a haircut and it does not golf.; int6 -> int7: the lobe is not a haircut.; int7 & sent4 -> hypothesis; __DISPROVED__