the vicar is resistive.
sent1: there is something such that it is a taxidermy. sent2: if something is optional it is civic. sent3: if something that is a kind of a plumcot is civic then that the vicar is not resistive is not wrong. sent4: something appropriates if it does crop pique. sent5: that something is civic hold. sent6: if the Cooper anticipates Trinidadian that the Haida ankyloses is right. sent7: if something is a kind of a minivan it is resistive. sent8: if something does ankylose then it is a plumcot. sent9: the Haida is not non-optional and not non-ordinal. sent10: the fact that the sphenion is a kind of a minivan and/or it bullshits Roentgen hold. sent11: if the sphenion is a kind of a minivan the Cooper does anticipate Trinidadian. sent12: the Haida does not anticipate Trinidadian if there exists something such that it is both a plumcot and civic. sent13: the fact that the Cooper anticipates Trinidadian if the sphenion does bullshit Roentgen is correct.
sent10 & sent11 & sent13 -> int1: the Cooper does anticipate Trinidadian.; int1 & sent6 -> int2: the Haida does ankylose.; sent8 -> int3: the Haida is a plumcot if it ankyloses.; int2 & int3 -> int4: the Haida is a kind of a plumcot.; sent2 -> int5: if that the Haida is optional is correct it is civic.; sent9 -> int6: the Haida is optional.; int5 & int6 -> int7: the Haida is not non-civic.; int4 & int7 -> int8: the Haida is both a plumcot and civic.; int8 -> int9: there exists something such that it is a plumcot and civic.; int9 & sent3 -> hypothesis;
the vicar is resistive.
sent7 -> int10: if the vicar is a minivan it is resistive.;
$hypothesis$ = the vicar is resistive. ; $context$ = sent1: there is something such that it is a taxidermy. sent2: if something is optional it is civic. sent3: if something that is a kind of a plumcot is civic then that the vicar is not resistive is not wrong. sent4: something appropriates if it does crop pique. sent5: that something is civic hold. sent6: if the Cooper anticipates Trinidadian that the Haida ankyloses is right. sent7: if something is a kind of a minivan it is resistive. sent8: if something does ankylose then it is a plumcot. sent9: the Haida is not non-optional and not non-ordinal. sent10: the fact that the sphenion is a kind of a minivan and/or it bullshits Roentgen hold. sent11: if the sphenion is a kind of a minivan the Cooper does anticipate Trinidadian. sent12: the Haida does not anticipate Trinidadian if there exists something such that it is both a plumcot and civic. sent13: the fact that the Cooper anticipates Trinidadian if the sphenion does bullshit Roentgen is correct. ; $proof$ = 
sent10 & sent11 & sent13 -> int1: the Cooper does anticipate Trinidadian.; int1 & sent6 -> int2: the Haida does ankylose.; sent8 -> int3: the Haida is a plumcot if it ankyloses.; int2 & int3 -> int4: the Haida is a kind of a plumcot.; sent2 -> int5: if that the Haida is optional is correct it is civic.; sent9 -> int6: the Haida is optional.; int5 & int6 -> int7: the Haida is not non-civic.; int4 & int7 -> int8: the Haida is both a plumcot and civic.; int8 -> int9: there exists something such that it is a plumcot and civic.; int9 & sent3 -> hypothesis; __DISPROVED__