the archosaur is not allylic and is cystic.
sent1: the soap fishes Cordylus if there is something such that it is not a kind of a feather. sent2: the archosaur is both not allylic and cystic if that the soap fishes Cordylus is not incorrect. sent3: if there exists something such that the fact that it does fish swagman and it does feather is wrong then the soap fishes Cordylus. sent4: the archosaur is not allylic. sent5: the fact that either the mane is adynamic or it is not a Brachychiton or both does not hold if it is not extinct. sent6: the LAN does not fish Cordylus but it is imperative. sent7: if the soap is not a Brachychiton then the archosaur does fish affability and it does fish Cordylus. sent8: the archosaur is not allylic if the soap does fish Cordylus. sent9: the soap is cystic. sent10: the fact that the fact that something is both not allylic and cystic is not incorrect is wrong if it fishes Cordylus. sent11: the soap is not a Brachychiton if the fact that the mane is either adynamic or not a Brachychiton or both is incorrect. sent12: the soap is an interleaf. sent13: there is nothing such that it fishes swagman and it feathers.
sent13 -> int1: the fact that the sennit fishes swagman and it feathers does not hold.; int1 -> int2: there is something such that that it fishes swagman and it is a feather is not true.; int2 & sent3 -> int3: the soap fishes Cordylus.; sent2 & int3 -> hypothesis;
the fact that the archosaur is not allylic and is cystic is not correct.
sent10 -> int4: that the archosaur is not allylic but it is cystic is not right if it does fish Cordylus.;
$hypothesis$ = the archosaur is not allylic and is cystic. ; $context$ = sent1: the soap fishes Cordylus if there is something such that it is not a kind of a feather. sent2: the archosaur is both not allylic and cystic if that the soap fishes Cordylus is not incorrect. sent3: if there exists something such that the fact that it does fish swagman and it does feather is wrong then the soap fishes Cordylus. sent4: the archosaur is not allylic. sent5: the fact that either the mane is adynamic or it is not a Brachychiton or both does not hold if it is not extinct. sent6: the LAN does not fish Cordylus but it is imperative. sent7: if the soap is not a Brachychiton then the archosaur does fish affability and it does fish Cordylus. sent8: the archosaur is not allylic if the soap does fish Cordylus. sent9: the soap is cystic. sent10: the fact that the fact that something is both not allylic and cystic is not incorrect is wrong if it fishes Cordylus. sent11: the soap is not a Brachychiton if the fact that the mane is either adynamic or not a Brachychiton or both is incorrect. sent12: the soap is an interleaf. sent13: there is nothing such that it fishes swagman and it feathers. ; $proof$ = 
sent13 -> int1: the fact that the sennit fishes swagman and it feathers does not hold.; int1 -> int2: there is something such that that it fishes swagman and it is a feather is not true.; int2 & sent3 -> int3: the soap fishes Cordylus.; sent2 & int3 -> hypothesis; __PROVED__