5枝点が可約だという結論を導いていることだけでも嘘ってわかるじゃん。