that the preservationist is not custard-like but it is a monarchist is wrong.
sent1: if the gyrus is not a Kennedy it is a tickler and it is a Fauntleroy. sent2: if the preservationist is not a netball then the gyrus is not a kind of a monarchist. sent3: there are mutable and important things. sent4: there is something such that the fact that it is mutable and it is important is not correct. sent5: if the gyrus is not a netball then the brownie is not sarcolemmal. sent6: if the brownie is not sarcolemmal that the preservationist is a kind of non-custard-like thing that is a kind of a monarchist is wrong. sent7: something is a netball if it is sarcolemmal. sent8: the gyrus is not a netball if there is something such that that it is mutable and it is important is not correct. sent9: if the gyrus is a tickler it is sarcolemmal. sent10: the fact that the preservationist is a kind of custard-like a monarchist is incorrect.
sent4 & sent8 -> int1: the gyrus is not a kind of a netball.; sent5 & int1 -> int2: the brownie is not sarcolemmal.; sent6 & int2 -> hypothesis;
the preservationist is not custard-like but it is a monarchist.
sent7 -> int3: the gyrus is a kind of a netball if that it is sarcolemmal is correct.;
$hypothesis$ = that the preservationist is not custard-like but it is a monarchist is wrong. ; $context$ = sent1: if the gyrus is not a Kennedy it is a tickler and it is a Fauntleroy. sent2: if the preservationist is not a netball then the gyrus is not a kind of a monarchist. sent3: there are mutable and important things. sent4: there is something such that the fact that it is mutable and it is important is not correct. sent5: if the gyrus is not a netball then the brownie is not sarcolemmal. sent6: if the brownie is not sarcolemmal that the preservationist is a kind of non-custard-like thing that is a kind of a monarchist is wrong. sent7: something is a netball if it is sarcolemmal. sent8: the gyrus is not a netball if there is something such that that it is mutable and it is important is not correct. sent9: if the gyrus is a tickler it is sarcolemmal. sent10: the fact that the preservationist is a kind of custard-like a monarchist is incorrect. ; $proof$ = 
sent4 & sent8 -> int1: the gyrus is not a kind of a netball.; sent5 & int1 -> int2: the brownie is not sarcolemmal.; sent6 & int2 -> hypothesis; __PROVED__