that something is a WLAN and non-Algonquian does not hold.
sent1: the taw is a cavalry and is unsusceptible. sent2: if that the doorplate is a Aeolian and it is Algonquian is right the trombone is not Algonquian. sent3: the trombone is a tramp if the taw is impervious. sent4: the doorplate is a kind of Aeolian a Algonquian. sent5: if the taw is unsusceptible then it is impervious. sent6: something is a WLAN if the fact that it is a tramp is not incorrect. sent7: something is a tramp but it is not unsusceptible.
sent1 -> int1: the taw is unsusceptible.; int1 & sent5 -> int2: the taw is impervious.; int2 & sent3 -> int3: the trombone is a tramp.; sent6 -> int4: if the trombone tramps it is a WLAN.; int3 & int4 -> int5: the trombone is a WLAN.; sent2 & sent4 -> int6: the trombone is not a Algonquian.; int5 & int6 -> int7: the trombone is a WLAN but it is not Algonquian.; int7 -> hypothesis;
$hypothesis$ = that something is a WLAN and non-Algonquian does not hold. ; $context$ = sent1: the taw is a cavalry and is unsusceptible. sent2: if that the doorplate is a Aeolian and it is Algonquian is right the trombone is not Algonquian. sent3: the trombone is a tramp if the taw is impervious. sent4: the doorplate is a kind of Aeolian a Algonquian. sent5: if the taw is unsusceptible then it is impervious. sent6: something is a WLAN if the fact that it is a tramp is not incorrect. sent7: something is a tramp but it is not unsusceptible. ; $proof$ = 
sent1 -> int1: the taw is unsusceptible.; int1 & sent5 -> int2: the taw is impervious.; int2 & sent3 -> int3: the trombone is a tramp.; sent6 -> int4: if the trombone tramps it is a WLAN.; int3 & int4 -> int5: the trombone is a WLAN.; sent2 & sent4 -> int6: the trombone is not a Algonquian.; int5 & int6 -> int7: the trombone is a WLAN but it is not Algonquian.; int7 -> hypothesis; __DISPROVED__