that there is something such that if the fact that it is not a psocid is correct then the fact that it is Vietnamese and it is not a kind of an intonation is not correct is incorrect.
sent1: if the keratin is not balletic and it is not a Hoyle it is not a national. sent2: if the keratin reflects influenza it is a psocid. sent3: there exists something such that if it is a kind of a psocid that it is a Vietnamese and is not an intonation is not true. sent4: if that the galvanometer is not a Hoyle is right then the fact that it is not a psocid and does reflect influenza is false. sent5: if the keratin does not reflect influenza it is a kind of non-balletic thing that is not a kind of a Hoyle. sent6: the keratin is a kind of a Vietnamese that is not an intonation. sent7: that the analgesic is not balletic but a Vietnamese does not hold. sent8: there is something such that if the fact that it is not a psocid hold then that it is a Vietnamese and it is an intonation does not hold. sent9: if that the keratin is not a national hold then the fact that it is a kind of a Vietnamese and it is not an intonation does not hold.
void -> assump2: Let's assume that the keratin reflects influenza.; sent2 & assump2 -> int1: the keratin is a kind of a psocid.; void -> assump1: Let's assume that the fact that the keratin is not a psocid is right.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the keratin does not reflect influenza.; int3 & sent5 -> int4: the keratin is not balletic and it is not a kind of a Hoyle.; int4 & sent1 -> int5: the keratin is not a national.; int5 & sent9 -> int6: the fact that the keratin is a kind of a Vietnamese and is not a kind of an intonation is incorrect.; [assump1] & int6 -> int7: if the keratin is not a psocid then the fact that it is a kind of a Vietnamese and it is not an intonation is false.; int7 -> hypothesis;
the galvanometer is not a national.
sent7 -> int8: there is something such that that it is not balletic and is Vietnamese does not hold.;
$hypothesis$ = that there is something such that if the fact that it is not a psocid is correct then the fact that it is Vietnamese and it is not a kind of an intonation is not correct is incorrect. ; $context$ = sent1: if the keratin is not balletic and it is not a Hoyle it is not a national. sent2: if the keratin reflects influenza it is a psocid. sent3: there exists something such that if it is a kind of a psocid that it is a Vietnamese and is not an intonation is not true. sent4: if that the galvanometer is not a Hoyle is right then the fact that it is not a psocid and does reflect influenza is false. sent5: if the keratin does not reflect influenza it is a kind of non-balletic thing that is not a kind of a Hoyle. sent6: the keratin is a kind of a Vietnamese that is not an intonation. sent7: that the analgesic is not balletic but a Vietnamese does not hold. sent8: there is something such that if the fact that it is not a psocid hold then that it is a Vietnamese and it is an intonation does not hold. sent9: if that the keratin is not a national hold then the fact that it is a kind of a Vietnamese and it is not an intonation does not hold. ; $proof$ = 
void -> assump2: Let's assume that the keratin reflects influenza.; sent2 & assump2 -> int1: the keratin is a kind of a psocid.; void -> assump1: Let's assume that the fact that the keratin is not a psocid is right.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the keratin does not reflect influenza.; int3 & sent5 -> int4: the keratin is not balletic and it is not a kind of a Hoyle.; int4 & sent1 -> int5: the keratin is not a national.; int5 & sent9 -> int6: the fact that the keratin is a kind of a Vietnamese and is not a kind of an intonation is incorrect.; [assump1] & int6 -> int7: if the keratin is not a psocid then the fact that it is a kind of a Vietnamese and it is not an intonation is false.; int7 -> hypothesis; __DISPROVED__