that the wings is a kind of non-non-invertible thing that does not coach birefringence is incorrect.
sent1: the wings is not non-invertible and it does not coach birefringence if that the reformer is not non-invertible is correct. sent2: if the vermiculation is a determent then the reformer is non-non-invertible. sent3: the fact that the vermiculation is a determent is correct.
sent2 & sent3 -> int1: the reformer is not non-invertible.; int1 & sent1 -> hypothesis;
$hypothesis$ = that the wings is a kind of non-non-invertible thing that does not coach birefringence is incorrect. ; $context$ = sent1: the wings is not non-invertible and it does not coach birefringence if that the reformer is not non-invertible is correct. sent2: if the vermiculation is a determent then the reformer is non-non-invertible. sent3: the fact that the vermiculation is a determent is correct. ; $proof$ = 
sent2 & sent3 -> int1: the reformer is not non-invertible.; int1 & sent1 -> hypothesis; __DISPROVED__