the fact that if the amblygonite is a splasher then the speedway is not a dealer but it is a kind of an autobiography is not true.
sent1: the amblygonite is a splasher and is an autobiography. sent2: if there exists something such that that it is a splasher is not wrong then the speedway is a kind of non-Pasteurian thing that is a Dracunculidae. sent3: the fact that the speedway is a Dracunculidae and is not a splasher is wrong if it is Pasteurian. sent4: if something is a Dracunculidae then it is not a dealer and is an autobiography.
void -> assump1: Let's assume that the amblygonite is a splasher.; assump1 -> int1: there exists something such that it is a splasher.; int1 & sent2 -> int2: the speedway is both not Pasteurian and a Dracunculidae.; int2 -> int3: the fact that the speedway is not a Dracunculidae does not hold.; sent4 -> int4: if the speedway is a Dracunculidae it is not a dealer and it is an autobiography.; int3 & int4 -> int5: the speedway is not a kind of a dealer and is an autobiography.; [assump1] & int5 -> hypothesis;
the arsenic is an autobiography.
$hypothesis$ = the fact that if the amblygonite is a splasher then the speedway is not a dealer but it is a kind of an autobiography is not true. ; $context$ = sent1: the amblygonite is a splasher and is an autobiography. sent2: if there exists something such that that it is a splasher is not wrong then the speedway is a kind of non-Pasteurian thing that is a Dracunculidae. sent3: the fact that the speedway is a Dracunculidae and is not a splasher is wrong if it is Pasteurian. sent4: if something is a Dracunculidae then it is not a dealer and is an autobiography. ; $proof$ = 
void -> assump1: Let's assume that the amblygonite is a splasher.; assump1 -> int1: there exists something such that it is a splasher.; int1 & sent2 -> int2: the speedway is both not Pasteurian and a Dracunculidae.; int2 -> int3: the fact that the speedway is not a Dracunculidae does not hold.; sent4 -> int4: if the speedway is a Dracunculidae it is not a dealer and it is an autobiography.; int3 & int4 -> int5: the speedway is not a kind of a dealer and is an autobiography.; [assump1] & int5 -> hypothesis; __DISPROVED__