Working on task 3 implementation ...
Added some proofs
Proof list is complete
He's alive\!)) It proves anything you ask:))
Shortened some proofs, improved proof check performance
Minor fix
Updated README