the matrix does not consternate kat.
sent1: the matrix does not consternate kat if something that snowballs quinine is not automotive. sent2: the eliminator is not a chromosphere. sent3: everything is an ether and it is a kind of a preventive. sent4: if the eliminator is not a chromosphere then the eardrum snowballs quinine but it is not automotive. sent5: if something is a kind of an ether then it is a brawl.
sent4 & sent2 -> int1: the eardrum does snowball quinine but it is not automotive.; int1 -> int2: something does snowball quinine and is not automotive.; int2 & sent1 -> hypothesis;
the eardrum does brawl but it is not a Strand.
sent5 -> int3: if the eardrum is an ether then it is a brawl.; sent3 -> int4: the eardrum is an ether and it is a preventive.; int4 -> int5: the eardrum is an ether.; int3 & int5 -> int6: the eardrum is a brawl.;
$hypothesis$ = the matrix does not consternate kat. ; $context$ = sent1: the matrix does not consternate kat if something that snowballs quinine is not automotive. sent2: the eliminator is not a chromosphere. sent3: everything is an ether and it is a kind of a preventive. sent4: if the eliminator is not a chromosphere then the eardrum snowballs quinine but it is not automotive. sent5: if something is a kind of an ether then it is a brawl. ; $proof$ = 
sent4 & sent2 -> int1: the eardrum does snowball quinine but it is not automotive.; int1 -> int2: something does snowball quinine and is not automotive.; int2 & sent1 -> hypothesis; __PROVED__