the hygrodeik is not a Javanthropus.
sent1: the heaver does cloud Severn and it is a kind of a breadth. sent2: the heaver clouds Severn. sent3: the hygrodeik is a Javanthropus if the sateen is arsenical. sent4: if the heaver is a breadth then the sateen is a kind of a rancidity. sent5: the heaver is a arsenical if the sateen is a breadth. sent6: if that something is a breadth and/or it does not cloud Severn is false it is not a Javanthropus. sent7: if that the hygrodeik is a kind of a breadth is not wrong the heaver is a Javanthropus. sent8: something is a kind of a arsenical if it is a rancidity.
sent1 -> int1: the heaver is a breadth.; int1 & sent4 -> int2: the sateen is a rancidity.; sent8 -> int3: that the sateen is arsenical is true if it is a rancidity.; int2 & int3 -> int4: the sateen is a kind of a arsenical.; int4 & sent3 -> hypothesis;
the hygrodeik is not a Javanthropus.
sent6 -> int5: the hygrodeik is not a Javanthropus if that it is a breadth and/or it does not cloud Severn is wrong.;
$hypothesis$ = the hygrodeik is not a Javanthropus. ; $context$ = sent1: the heaver does cloud Severn and it is a kind of a breadth. sent2: the heaver clouds Severn. sent3: the hygrodeik is a Javanthropus if the sateen is arsenical. sent4: if the heaver is a breadth then the sateen is a kind of a rancidity. sent5: the heaver is a arsenical if the sateen is a breadth. sent6: if that something is a breadth and/or it does not cloud Severn is false it is not a Javanthropus. sent7: if that the hygrodeik is a kind of a breadth is not wrong the heaver is a Javanthropus. sent8: something is a kind of a arsenical if it is a rancidity. ; $proof$ = 
sent1 -> int1: the heaver is a breadth.; int1 & sent4 -> int2: the sateen is a rancidity.; sent8 -> int3: that the sateen is arsenical is true if it is a rancidity.; int2 & int3 -> int4: the sateen is a kind of a arsenical.; int4 & sent3 -> hypothesis; __DISPROVED__