the Friesian is not anosmic.
sent1: something that does not acquaint does style term and is an isolationism. sent2: the term does not weaken. sent3: if the term does not weaken it is a prawn and it spangs hamstring. sent4: if there is something such that it is not a kind of an isolationism the Friesian is anosmic. sent5: the hamstring is not a kind of an isolationism. sent6: that the hamstring is anosmic is not wrong.
sent5 -> int1: there is something such that that it is not a kind of an isolationism hold.; int1 & sent4 -> hypothesis;
the Friesian is not anosmic.
sent1 -> int2: the fallow styles term and is an isolationism if it does not acquaint.; sent3 & sent2 -> int3: the term prawns and spangs hamstring.; int3 -> int4: the term is a prawn.; int4 -> int5: something is a kind of a prawn.;
$hypothesis$ = the Friesian is not anosmic. ; $context$ = sent1: something that does not acquaint does style term and is an isolationism. sent2: the term does not weaken. sent3: if the term does not weaken it is a prawn and it spangs hamstring. sent4: if there is something such that it is not a kind of an isolationism the Friesian is anosmic. sent5: the hamstring is not a kind of an isolationism. sent6: that the hamstring is anosmic is not wrong. ; $proof$ = 
sent5 -> int1: there is something such that that it is not a kind of an isolationism hold.; int1 & sent4 -> hypothesis; __DISPROVED__