the sociolinguist is a jumbojet.
sent1: the sociolinguist is a jumbojet if the miss is not unreactive and it is not sociological. sent2: if the miss does not dim Rock it is not unicellular and it is not a kind of a vaquero. sent3: the sociolinguist is not a bay if it occults amphotericin and it occults Teflon. sent4: the sociolinguist does bludgeon but it is not a jumbojet if it is a kind of a dobson. sent5: the sociolinguist is not a capitulum if it is both not reactive and sociological. sent6: the sociolinguist does bludgeon if it is a dobson. sent7: that the sociolinguist is a kind of a dobson hold if it is not a kind of a capitulum. sent8: something is not a capitulum if it is a dobson. sent9: the sociolinguist is unreactive. sent10: the sociolinguist is a kind of a bludgeon. sent11: the miss does not dim Rock. sent12: everything is sociological. sent13: if a non-unicellular thing is not a kind of a vaquero then the planetoid is a bludgeon. sent14: the fact that something is not sociological and is unreactive is not right if it is not a capitulum.
sent12 -> int1: the sociolinguist is sociological.; int1 & sent9 -> int2: the sociolinguist is unreactive and it is sociological.; int2 & sent5 -> int3: that the sociolinguist is not a kind of a capitulum is correct.; int3 & sent7 -> int4: the fact that the sociolinguist is a dobson hold.; int4 & sent4 -> int5: the sociolinguist bludgeons but it is not a jumbojet.; int5 -> hypothesis;
the sociolinguist is a jumbojet.
$hypothesis$ = the sociolinguist is a jumbojet. ; $context$ = sent1: the sociolinguist is a jumbojet if the miss is not unreactive and it is not sociological. sent2: if the miss does not dim Rock it is not unicellular and it is not a kind of a vaquero. sent3: the sociolinguist is not a bay if it occults amphotericin and it occults Teflon. sent4: the sociolinguist does bludgeon but it is not a jumbojet if it is a kind of a dobson. sent5: the sociolinguist is not a capitulum if it is both not reactive and sociological. sent6: the sociolinguist does bludgeon if it is a dobson. sent7: that the sociolinguist is a kind of a dobson hold if it is not a kind of a capitulum. sent8: something is not a capitulum if it is a dobson. sent9: the sociolinguist is unreactive. sent10: the sociolinguist is a kind of a bludgeon. sent11: the miss does not dim Rock. sent12: everything is sociological. sent13: if a non-unicellular thing is not a kind of a vaquero then the planetoid is a bludgeon. sent14: the fact that something is not sociological and is unreactive is not right if it is not a capitulum. ; $proof$ = 
sent12 -> int1: the sociolinguist is sociological.; int1 & sent9 -> int2: the sociolinguist is unreactive and it is sociological.; int2 & sent5 -> int3: that the sociolinguist is not a kind of a capitulum is correct.; int3 & sent7 -> int4: the fact that the sociolinguist is a dobson hold.; int4 & sent4 -> int5: the sociolinguist bludgeons but it is not a jumbojet.; int5 -> hypothesis; __DISPROVED__