the fact that the swan is a schnitzel if the daiquiri is vicennial is not true.
sent1: the swan does loot citation. sent2: a Himalayan and indistinguishable thing is convenient. sent3: if something that does loot Purus is not a celeriac then it is a kind of a schnitzel. sent4: the swan is a schnitzel if it is vicennial and it does loot Purus. sent5: if something that is vicennial is a celeriac it is a kind of a schnitzel. sent6: the daiquiri is vicennial but it is not a schnitzel. sent7: if the daiquiri is a schnitzel that does not loot Purus then it is vicennial. sent8: the idealist is a celeriac. sent9: the tutee is both mandibular and not a millet. sent10: if the daiquiri is vicennial then the swan loots Purus. sent11: the bluetick is a celeriac. sent12: the cassette does not loot Purus. sent13: the daiquiri is not non-aphasic but it is not a celeriac. sent14: the daiquiri is vicennial but it is not a celeriac. sent15: if something is a celeriac but it does not loot Purus then it is vicennial. sent16: the swan loots Purus but it is not a celeriac if the daiquiri is vicennial. sent17: the swan loots Purus. sent18: if the swan is a celeriac and does not loot Purus then it is vicennial.
void -> assump1: Let's assume that the daiquiri is not non-vicennial.; sent16 & assump1 -> int1: the swan loots Purus and is not a celeriac.; sent3 -> int2: the swan is a schnitzel if it does loot Purus and it is not a celeriac.; int1 & int2 -> int3: the swan is a schnitzel.; [assump1] & int3 -> hypothesis;
the transposon is convenient if it is Himalayan but not distinguishable.
sent2 -> hypothesis;
$hypothesis$ = the fact that the swan is a schnitzel if the daiquiri is vicennial is not true. ; $context$ = sent1: the swan does loot citation. sent2: a Himalayan and indistinguishable thing is convenient. sent3: if something that does loot Purus is not a celeriac then it is a kind of a schnitzel. sent4: the swan is a schnitzel if it is vicennial and it does loot Purus. sent5: if something that is vicennial is a celeriac it is a kind of a schnitzel. sent6: the daiquiri is vicennial but it is not a schnitzel. sent7: if the daiquiri is a schnitzel that does not loot Purus then it is vicennial. sent8: the idealist is a celeriac. sent9: the tutee is both mandibular and not a millet. sent10: if the daiquiri is vicennial then the swan loots Purus. sent11: the bluetick is a celeriac. sent12: the cassette does not loot Purus. sent13: the daiquiri is not non-aphasic but it is not a celeriac. sent14: the daiquiri is vicennial but it is not a celeriac. sent15: if something is a celeriac but it does not loot Purus then it is vicennial. sent16: the swan loots Purus but it is not a celeriac if the daiquiri is vicennial. sent17: the swan loots Purus. sent18: if the swan is a celeriac and does not loot Purus then it is vicennial. ; $proof$ = 
void -> assump1: Let's assume that the daiquiri is not non-vicennial.; sent16 & assump1 -> int1: the swan loots Purus and is not a celeriac.; sent3 -> int2: the swan is a schnitzel if it does loot Purus and it is not a celeriac.; int1 & int2 -> int3: the swan is a schnitzel.; [assump1] & int3 -> hypothesis; __DISPROVED__